Skip to content

Actions: oeb25/smtlib-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: add z3 maxsat support CI #34: Pull request #12 synchronize by timbeurskens
December 20, 2024 13:23 Action required simpl-energy:feat/z3-maxsat-support
simpl-energy:feat/z3-maxsat-support
December 20, 2024 13:23 Action required
Feat: add z3 maxsat support CI #33: Pull request #12 synchronize by timbeurskens
December 19, 2024 14:51 Action required simpl-energy:feat/z3-maxsat-support
simpl-energy:feat/z3-maxsat-support
December 19, 2024 14:51 Action required
Feat: add z3 maxsat support CI #32: Pull request #12 synchronize by timbeurskens
December 19, 2024 14:18 Action required simpl-energy:feat/z3-maxsat-support
simpl-energy:feat/z3-maxsat-support
December 19, 2024 14:18 Action required
Feat: add z3 maxsat support CI #31: Pull request #12 synchronize by timbeurskens
December 19, 2024 12:48 Action required simpl-energy:feat/z3-maxsat-support
simpl-energy:feat/z3-maxsat-support
December 19, 2024 12:48 Action required
Feat: add z3 maxsat support CI #30: Pull request #12 opened by timbeurskens
December 19, 2024 12:47 Action required simpl-energy:feat/z3-maxsat-support
simpl-energy:feat/z3-maxsat-support
December 19, 2024 12:47 Action required
Change formatting of negative numbers from -x to (- x) to be SMTL… CI #29: Commit 787a671 pushed by oeb25
September 12, 2024 08:26 9m 44s main
main
September 12, 2024 08:26 9m 44s
Change formatting of negative numbers from -x to (- x) to be SMTL… Release-plz #7: Commit 787a671 pushed by oeb25
September 12, 2024 08:26 39m 29s main
main
September 12, 2024 08:26 39m 29s
Fix doc tests Release-plz #6: Commit 2bd13db pushed by oeb25
July 31, 2024 12:35 39m 22s main
main
July 31, 2024 12:35 39m 22s
Fix doc tests CI #28: Commit 2bd13db pushed by oeb25
July 31, 2024 12:35 10m 1s main
main
July 31, 2024 12:35 10m 1s
Add user defined functions and sorts and refactor term sorts CI #27: Commit 7a75c69 pushed by oeb25
July 31, 2024 12:23 10m 12s main
main
July 31, 2024 12:23 10m 12s
Add user defined functions and sorts and refactor term sorts Release-plz #5: Commit 7a75c69 pushed by oeb25
July 31, 2024 12:23 39m 7s main
main
July 31, 2024 12:23 39m 7s
chore: release CI #26: Commit 7217e5a pushed by oeb25
May 2, 2024 15:34 1m 43s main
main
May 2, 2024 15:34 1m 43s
chore: release Release-plz #4: Commit 7217e5a pushed by oeb25
May 2, 2024 15:34 1m 4s main
main
May 2, 2024 15:34 1m 4s
ci: Add .release-plz.toml CI #25: Commit 6552d4d pushed by oeb25
May 2, 2024 14:40 1m 30s main
main
May 2, 2024 14:40 1m 30s
ci: Add .release-plz.toml Release-plz #3: Commit 6552d4d pushed by oeb25
May 2, 2024 14:40 38m 12s main
main
May 2, 2024 14:40 38m 12s
ci: Add .release-plz.toml CI #24: Commit 1518e0f pushed by oeb25
May 2, 2024 13:44 10m 32s main
main
May 2, 2024 13:44 10m 32s
ci: Add .release-plz.toml Release-plz #2: Commit 1518e0f pushed by oeb25
May 2, 2024 13:44 38m 27s main
main
May 2, 2024 13:44 38m 27s
ci: Add release-plz action Release-plz #1: Commit 8adf8f4 pushed by oeb25
May 2, 2024 13:25 44m 19s main
main
May 2, 2024 13:25 44m 19s
ci: Add release-plz action CI #23: Commit 8adf8f4 pushed by oeb25
May 2, 2024 13:25 10m 0s main
main
May 2, 2024 13:25 10m 0s
breaking: Remove Async{Driver,Solver} in favor of `Tokio{Driver,Sol… CI #22: Commit f9c03b4 pushed by oeb25
May 2, 2024 12:46 10m 16s main
main
May 2, 2024 12:46 10m 16s
chore: Skip formatting generated files CI #21: Commit cf86260 pushed by oeb25
December 29, 2023 11:02 10m 6s main
main
December 29, 2023 11:02 10m 6s
chore: Update Justfile CI #20: Commit 0ae52df pushed by oeb25
December 29, 2023 10:59 10m 3s main
main
December 29, 2023 10:59 10m 3s
ci: Add git cliff config CI #19: Commit 5be891c pushed by oeb25
December 29, 2023 10:56 10m 34s main
main
December 29, 2023 10:56 10m 34s
BREAKING CHANGE: Remove async-trait crate and async, z3, cvc5… CI #18: Commit cd50afd pushed by oeb25
December 28, 2023 18:48 10m 56s main
main
December 28, 2023 18:48 10m 56s
Remove async-trait crate and async, z3, cvc5 features CI #17: Pull request #5 synchronize by oeb25
December 28, 2023 18:45 10m 37s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:45 10m 37s