Skip to content
This repository has been archived by the owner on Aug 29, 2024. It is now read-only.

Actions: leanprover/leansat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,007 workflow runs
1,007 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Integrate LeanSAT with the reflection frontend ci #32: Pull request #7 synchronize by kim-em
February 22, 2024 22:24 2m 17s generalize-reflect
generalize-reflect
February 22, 2024 22:24 2m 17s
test cases ci #31: Commit df8236e pushed by kim-em
February 22, 2024 22:24 2m 17s generalize-reflect
generalize-reflect
February 22, 2024 22:24 2m 17s
feat: Integrate LeanSAT with the reflection frontend ci #30: Pull request #7 synchronize by hargoniX
February 22, 2024 17:59 2m 22s generalize-reflect
generalize-reflect
February 22, 2024 17:59 2m 22s
feat: cnf_decide uses LeanSAT ci #29: Commit cc89c9a pushed by hargoniX
February 22, 2024 17:59 2m 12s generalize-reflect
generalize-reflect
February 22, 2024 17:59 2m 12s
feat: Integrate LeanSAT with the reflection frontend ci #28: Pull request #7 synchronize by hargoniX
February 22, 2024 17:15 2m 44s generalize-reflect
generalize-reflect
February 22, 2024 17:15 2m 44s
feat: cnf_decide uses LeanSAT ci #27: Commit cc8251c pushed by hargoniX
February 22, 2024 17:15 2m 44s generalize-reflect
generalize-reflect
February 22, 2024 17:15 2m 44s
feat: Integrate LeanSAT with the reflection frontend ci #26: Pull request #7 synchronize by hargoniX
February 22, 2024 09:51 2m 1s generalize-reflect
generalize-reflect
February 22, 2024 09:51 2m 1s
refactor: purify parsing APIs ci #25: Commit 029fc37 pushed by hargoniX
February 22, 2024 09:51 2m 12s generalize-reflect
generalize-reflect
February 22, 2024 09:51 2m 12s
feat: Integrate LeanSAT with the reflection frontend ci #24: Pull request #7 synchronize by hargoniX
February 22, 2024 09:51 2m 12s generalize-reflect
generalize-reflect
February 22, 2024 09:51 2m 12s
refactor: purify parsing APIs ci #23: Commit 23133c7 pushed by hargoniX
February 22, 2024 09:51 2m 10s generalize-reflect
generalize-reflect
February 22, 2024 09:51 2m 10s
feat: Integrate LeanSAT with the reflection frontend ci #22: Pull request #7 opened by hargoniX
February 21, 2024 12:16 2m 27s generalize-reflect
generalize-reflect
February 21, 2024 12:16 2m 27s
feat: Reflect knows about custom SAT encodings ci #21: Commit e78436a pushed by hargoniX
February 21, 2024 12:16 2m 12s generalize-reflect
generalize-reflect
February 21, 2024 12:16 2m 12s
test: move External and LRAT tests out of the core repo ci #20: Commit 92dd07b pushed by hargoniX
February 21, 2024 09:23 2m 15s main
main
February 21, 2024 09:23 2m 15s
chore: simplify proofs ci #19: Commit 46df9a5 pushed by hargoniX
February 21, 2024 08:51 2m 12s main
main
February 21, 2024 08:51 2m 12s
chore: simplify proofs ci #18: Pull request #6 opened by arthur-adjedj
February 21, 2024 08:14 2m 20s arthur-adjedj:proof-style
arthur-adjedj:proof-style
February 21, 2024 08:14 2m 20s
chore: simplify proofs ci #17: Commit 2aff868 pushed by hargoniX
February 20, 2024 22:18 2m 14s simplify-proofs
simplify-proofs
February 20, 2024 22:18 2m 14s
chore: simplify proofs ci #16: Pull request #5 opened by arthur-adjedj
February 20, 2024 22:14 2m 15s arthur-adjedj:proof-style
arthur-adjedj:proof-style
February 20, 2024 22:14 2m 15s
feat: finish PHPDemo proof ci #15: Commit da687cd pushed by hargoniX
February 20, 2024 21:27 2m 13s main
main
February 20, 2024 21:27 2m 13s
chore: cleanup proofs in LeanSAT.Util.Misc ci #14: Commit bd59440 pushed by hargoniX
February 20, 2024 15:20 2m 15s main
main
February 20, 2024 15:20 2m 15s
chore: simplify proofs ci #13: Pull request #3 synchronize by hargoniX
February 20, 2024 15:17 2m 16s simplify-proofs
simplify-proofs
February 20, 2024 15:17 2m 16s
chore: cleanup proofs in LeanSAT.Util.Misc ci #12: Commit 3a6a289 pushed by hargoniX
February 20, 2024 15:17 2m 13s simplify-proofs
simplify-proofs
February 20, 2024 15:17 2m 13s
chore: simplify proofs ci #11: Pull request #3 synchronize by hargoniX
February 20, 2024 15:15 2m 18s simplify-proofs
simplify-proofs
February 20, 2024 15:15 2m 18s
fix: PHPDemo ci #10: Commit 8ac1b90 pushed by hargoniX
February 20, 2024 15:15 2m 18s simplify-proofs
simplify-proofs
February 20, 2024 15:15 2m 18s
chore: simplify proofs ci #9: Pull request #3 synchronize by hargoniX
February 20, 2024 14:49 2m 14s simplify-proofs
simplify-proofs
February 20, 2024 14:49 2m 14s
style: proof style in LRAT.LRATCheckerSOund ci #8: Commit 90121cb pushed by hargoniX
February 20, 2024 14:49 2m 18s simplify-proofs
simplify-proofs
February 20, 2024 14:49 2m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-02-20 or the other filters available.