Skip to content

Actions: hargoniX/Leanwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #13: Pull request #3 synchronize by abdoo8080
October 27, 2024 23:21 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:21 Action required
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #12: Pull request #3 synchronize by abdoo8080
October 27, 2024 23:20 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:20 Action required
feat: add simple parser for QF_BV fragment of SMT-LIB v2 Lean Action CI #11: Pull request #3 opened by abdoo8080
October 27, 2024 23:10 Action required abdoo8080:main
abdoo8080:main
October 27, 2024 23:10 Action required
feat: trace solving context time Lean Action CI #10: Commit 36fc525 pushed by hargoniX
October 26, 2024 11:58 20s main
main
October 26, 2024 11:58 20s
Merge pull request #2 from opencompl/sdiv Lean Action CI #9: Commit ca72cbe pushed by hargoniX
October 26, 2024 10:30 27s main
main
October 26, 2024 10:30 27s
chore: update lean-toolchain, consequently add sdiv support Lean Action CI #8: Pull request #2 opened by bollu
October 25, 2024 23:13 24s opencompl:sdiv
opencompl:sdiv
October 25, 2024 23:13 24s
support for udiv and LRAT timing Lean Action CI #7: Commit a51af40 pushed by hargoniX
October 12, 2024 09:57 32s main
main
October 12, 2024 09:57 32s
Merge pull request #1 from luisacicolini/updated-lean Lean Action CI #6: Commit 26ce43b pushed by hargoniX
October 1, 2024 13:41 22s main
main
October 1, 2024 13:41 22s
chore: fixed Gate after update Lean Action CI #5: Pull request #1 opened by luisacicolini
October 1, 2024 12:34 29s luisacicolini:updated-lean
luisacicolini:updated-lean
October 1, 2024 12:34 29s
feat: more timing tools Lean Action CI #4: Commit bcab3f8 pushed by hargoniX
September 25, 2024 12:28 27s main
main
September 25, 2024 12:28 27s
set solver path via argument Lean Action CI #3: Commit 3402208 pushed by hargoniX
September 25, 2024 09:33 20s main
main
September 25, 2024 09:33 20s
Create LICENSE Lean Action CI #2: Commit 6edcd00 pushed by hargoniX
September 24, 2024 08:40 20s main
main
September 24, 2024 08:40 20s
release Lean Action CI #1: Commit 49bd402 pushed by hargoniX
September 24, 2024 08:39 21s main
main
September 24, 2024 08:39 21s