Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Boolean overloads: &, |, ^, ~ CI #198: Pull request #103 synchronize by alex-ozdemir
December 13, 2024 22:37 15m 42s alex-ozdemir:fix-102
alex-ozdemir:fix-102
December 13, 2024 22:37 15m 42s
Add Boolean overloads: &, |, ^, ~ CI #197: Pull request #103 synchronize by alex-ozdemir
December 13, 2024 02:37 15m 23s alex-ozdemir:fix-102
alex-ozdemir:fix-102
December 13, 2024 02:37 15m 23s
Add Boolean overloads: &, |, ^, ~ CI #196: Pull request #103 synchronize by alex-ozdemir
December 12, 2024 18:28 19m 50s alex-ozdemir:fix-102
alex-ozdemir:fix-102
December 12, 2024 18:28 19m 50s
Add Boolean overloads: &, |, ^, ~ CI #195: Pull request #103 synchronize by alex-ozdemir
December 12, 2024 18:21 55s alex-ozdemir:fix-102
alex-ozdemir:fix-102
December 12, 2024 18:21 55s
Add Boolean overloads: &, |, ^, ~ CI #194: Pull request #103 opened by alex-ozdemir
December 12, 2024 18:20 17s alex-ozdemir:fix-102
alex-ozdemir:fix-102
December 12, 2024 18:20 17s
Adds proof support for the pythonic API (#99) CI #193: Commit be54c23 pushed by HanielB
June 24, 2024 22:18 12m 39s main
main
June 24, 2024 22:18 12m 39s
Print support for SEXPR (#97) CI #192: Commit 10bec15 pushed by HanielB
June 24, 2024 21:27 12m 54s main
main
June 24, 2024 21:27 12m 54s
Adds proof support for the pythonic API CI #191: Pull request #99 synchronize by HanielB
June 24, 2024 21:11 12m 47s HanielB:proof-support
HanielB:proof-support
June 24, 2024 21:11 12m 47s
Print support for SEXPR CI #190: Pull request #97 synchronize by HanielB
June 24, 2024 20:51 12m 32s HanielB:print-sexpr
HanielB:print-sexpr
June 24, 2024 20:51 12m 32s
Print support for SEXPR CI #189: Pull request #97 synchronize by HanielB
June 24, 2024 20:35 12m 39s HanielB:print-sexpr
HanielB:print-sexpr
June 24, 2024 20:35 12m 39s
Print support for SEXPR CI #188: Pull request #97 synchronize by HanielB
June 24, 2024 20:33 19s HanielB:print-sexpr
HanielB:print-sexpr
June 24, 2024 20:33 19s
Fixes for unsat core production (#98) CI #187: Commit ed25955 pushed by alex-ozdemir
June 24, 2024 18:33 15m 4s main
main
June 24, 2024 18:33 15m 4s
Adds proof support for the pythonic API CI #186: Pull request #99 synchronize by HanielB
June 24, 2024 15:41 14m 36s HanielB:proof-support
HanielB:proof-support
June 24, 2024 15:41 14m 36s
Adds proof support for the pythonic API CI #185: Pull request #99 synchronize by HanielB
June 24, 2024 15:22 14m 5s HanielB:proof-support
HanielB:proof-support
June 24, 2024 15:22 14m 5s
Adds proof support for the pythonic API CI #184: Pull request #99 synchronize by HanielB
June 24, 2024 14:58 14m 33s HanielB:proof-support
HanielB:proof-support
June 24, 2024 14:58 14m 33s
Adds proof support for the pythonic API CI #183: Pull request #99 opened by HanielB
June 24, 2024 14:15 18s HanielB:proof-support
HanielB:proof-support
June 24, 2024 14:15 18s
Fixes for unsat core production CI #182: Pull request #98 opened by HanielB
June 24, 2024 14:14 14m 12s HanielB:fix-unsat-core
HanielB:fix-unsat-core
June 24, 2024 14:14 14m 12s
Print support for SEXPR CI #181: Pull request #97 opened by HanielB
June 24, 2024 14:12 14m 20s HanielB:print-sexpr
HanielB:print-sexpr
June 24, 2024 14:12 14m 20s
nullary and unary ands and ors CI #180: Pull request #96 synchronize by yoni206
June 6, 2024 06:58 14m 2s yoni206:01and
yoni206:01and
June 6, 2024 06:58 14m 2s
nullary and unary ands and ors CI #179: Pull request #96 opened by yoni206
June 6, 2024 06:41 14m 28s yoni206:01and
yoni206:01and
June 6, 2024 06:41 14m 28s
restricting the use of Solver(): no specification of logic CI #178: Pull request #95 opened by yoni206
June 6, 2024 06:25 14m 11s yoni206:93
yoni206:93
June 6, 2024 06:25 14m 11s
Unsat core (#91) CI #177: Commit 0bb7f09 pushed by alex-ozdemir
May 8, 2024 15:29 13m 40s main
main
May 8, 2024 15:29 13m 40s
Unsat core CI #176: Pull request #91 synchronize by yoni206
May 8, 2024 11:30 14m 14s LaorS:unsat_core
LaorS:unsat_core
May 8, 2024 11:30 14m 14s
Unsat core CI #175: Pull request #91 synchronize by yoni206
May 8, 2024 11:10 14m 0s LaorS:unsat_core
LaorS:unsat_core
May 8, 2024 11:10 14m 0s
Unsat core CI #174: Pull request #91 synchronize by yoni206
May 8, 2024 11:09 49s LaorS:unsat_core
LaorS:unsat_core
May 8, 2024 11:09 49s