Skip to content

Actions: hargoniX/Leanwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8 from abdoo8080/fix Lean Action CI #55: Commit 3fffb1b pushed by hargoniX
November 7, 2024 23:05 1m 46s main
main
November 7, 2024 23:05 1m 46s
fix: fix parsing error for bvugt and bvuge Lean Action CI #54: Pull request #8 opened by abdoo8080
November 7, 2024 23:01 2m 0s abdoo8080:fix
abdoo8080:fix
November 7, 2024 23:01 2m 0s
chore: update toolchain Lean Action CI #53: Commit 4d11095 pushed by hargoniX
November 7, 2024 22:34 1m 54s main
main
November 7, 2024 22:34 1m 54s
refactor: different closing semantics Lean Action CI #52: Commit b307c54 pushed by hargoniX
November 7, 2024 17:54 56s main
main
November 7, 2024 17:54 56s
feat: better logging semantics Lean Action CI #51: Commit 260e791 pushed by hargoniX
November 7, 2024 16:44 1m 1s main
main
November 7, 2024 16:44 1m 1s
feat: log failures Lean Action CI #50: Commit 87b4399 pushed by hargoniX
November 7, 2024 16:22 1m 2s main
main
November 7, 2024 16:22 1m 2s
Merge pull request #7 from hargoniX/cleanup Lean Action CI #49: Commit 28edd6d pushed by hargoniX
November 6, 2024 09:33 1m 24s main
main
November 6, 2024 09:33 1m 24s
style: cleanup for sexp Lean Action CI #48: Pull request #7 opened by hargoniX
November 6, 2024 09:31 1m 5s cleanup
cleanup
November 6, 2024 09:31 1m 5s
test: basic regression tests for the sexp parser Lean Action CI #47: Commit 2997684 pushed by hargoniX
November 6, 2024 09:31 1m 9s cleanup
cleanup
November 6, 2024 09:31 1m 9s
Merge pull request #3 from abdoo8080/main Lean Action CI #46: Commit 6087226 pushed by hargoniX
November 6, 2024 08:42 1m 58s main
main
November 6, 2024 08:42 1m 58s
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #45: Pull request #3 synchronize by abdoo8080
November 6, 2024 01:46 1m 52s abdoo8080:main
abdoo8080:main
November 6, 2024 01:46 1m 52s
fix: track mvar context properly Lean Action CI #43: Commit 3434a9e pushed by hargoniX
November 3, 2024 15:34 55s main
main
November 3, 2024 15:34 55s
chore: indentation Lean Action CI #42: Commit 3a55b4f pushed by hargoniX
November 3, 2024 15:18 55s main
main
November 3, 2024 15:18 55s
chore: more context Lean Action CI #41: Commit bb9a776 pushed by hargoniX
November 3, 2024 15:16 1m 7s main
main
November 3, 2024 15:16 1m 7s
feat: some debug traces Lean Action CI #40: Commit 48e5eb2 pushed by hargoniX
November 3, 2024 14:23 53s main
main
November 3, 2024 14:23 53s
chore: update toolchain Lean Action CI #39: Commit d174491 pushed by hargoniX
November 3, 2024 14:02 54s main
main
November 3, 2024 14:02 54s
fix: return potentially modified goal upon error Lean Action CI #38: Commit 7487035 pushed by hargoniX
November 3, 2024 13:34 54s main
main
November 3, 2024 13:34 54s
feat: capture almost all times Lean Action CI #35: Commit 17a2ff6 pushed by hargoniX
November 2, 2024 16:06 1m 8s main
main
November 2, 2024 16:06 1m 8s
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #34: Pull request #3 synchronize by abdoo8080
November 2, 2024 07:42 1m 53s abdoo8080:main
abdoo8080:main
November 2, 2024 07:42 1m 53s
chore: update toolchain Lean Action CI #32: Commit 79e61b9 pushed by hargoniX
November 1, 2024 19:57 54s main
main
November 1, 2024 19:57 54s
feat: ns precision Lean Action CI #31: Commit a07af80 pushed by hargoniX
October 31, 2024 17:40 1m 11s main
main
October 31, 2024 17:40 1m 11s
Merge pull request #6 from hargoniX/nounreachable Lean Action CI #30: Commit 4883d00 pushed by hargoniX
October 30, 2024 18:49 55s main
main
October 30, 2024 18:49 55s
fix: unreachable hit Lean Action CI #29: Pull request #6 synchronize by hargoniX
October 30, 2024 18:45 1m 8s nounreachable
nounreachable
October 30, 2024 18:45 1m 8s
fix: unreachable hit Lean Action CI #28: Commit 8d0a16d pushed by hargoniX
October 30, 2024 18:45 53s nounreachable
nounreachable
October 30, 2024 18:45 53s
fix: unreachable hit Lean Action CI #27: Pull request #6 opened by hargoniX
October 30, 2024 18:44 59s nounreachable
nounreachable
October 30, 2024 18:44 59s