Skip to content

Actions: oeb25/smtlib-rs

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
34 workflow runs
34 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
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
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
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 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 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
BREAKING CHANGE: Remove async-trait crate and async, z3, cvc5… CI #16: Commit b3625d8 pushed by oeb25
December 28, 2023 18:45 10m 47s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:45 10m 47s
Remove async-trait crate and async, z3, cvc5 features CI #15: Pull request #5 opened by oeb25
December 28, 2023 18:41 10m 53s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:41 10m 53s
Remove async-trait crate and async, z3, cvc5 features CI #14: Commit 89250bb pushed by oeb25
December 28, 2023 18:41 10m 53s remove-async-trait-and-async-z3-cvc5-features
remove-async-trait-and-async-z3-cvc5-features
December 28, 2023 18:41 10m 53s
chore: Release CI #13: Commit e64763d pushed by oeb25
December 26, 2023 12:52 3m 6s main
main
December 26, 2023 12:52 3m 6s
chore: Release CI #12: Commit e64763d pushed by oeb25
December 26, 2023 12:52 1m 51s smtlib-build-util-v0.1.8
smtlib-build-util-v0.1.8
December 26, 2023 12:52 1m 51s
chore: Release CI #11: Commit e64763d pushed by oeb25
December 26, 2023 12:52 2m 38s smtlib-v0.1.8
smtlib-v0.1.8
December 26, 2023 12:52 2m 38s
chore: Release CI #10: Commit e64763d pushed by oeb25
December 26, 2023 12:52 2m 39s smtlib-lowlevel-v0.1.8
smtlib-lowlevel-v0.1.8
December 26, 2023 12:52 2m 39s