Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add get-value to various method docs CI #173: Pull request #94 synchronize by alex-ozdemir
April 25, 2024 23:56 1s alex-ozdemir:doc-get-val
alex-ozdemir:doc-get-val
April 25, 2024 23:56 1s
Add get-value to various method docs CI #172: Pull request #94 opened by alex-ozdemir
April 25, 2024 23:44 40s alex-ozdemir:doc-get-val
alex-ozdemir:doc-get-val
April 25, 2024 23:44 40s
Unsat core CI #171: Pull request #91 opened by LaorS
November 13, 2023 16:27 13m 45s LaorS:unsat_core
LaorS:unsat_core
November 13, 2023 16:27 13m 45s
Add FuncDeclRef case to _to_expr_ref (#90) CI #170: Commit c1c83ba pushed by ajreynol
September 12, 2023 15:37 22m 21s main
main
September 12, 2023 15:37 22m 21s
Add FuncDeclRef case to _to_expr_ref CI #169: Pull request #90 opened by alex-ozdemir
August 31, 2023 18:38 21m 0s alex-ozdemir:to-expr-fn
alex-ozdemir:to-expr-fn
August 31, 2023 18:38 21m 0s