Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

nullary and unary ands and ors (#96) CI #211: Commit 27d50b6 pushed by daniel-larraz
May 4, 2025 03:24 13m 2s main
main
May 4, 2025 03:24 13m 2s
nullary and unary ands and ors CI #210: Pull request #96 synchronize by yoni206
May 4, 2025 03:06 13m 4s yoni206:01and
yoni206:01and
May 4, 2025 03:06 13m 4s
Make a one-to-one association between a Context and a TermManager (#108) CI #209: Commit bdab0ff pushed by daniel-larraz
May 1, 2025 17:29 15m 1s main
main
May 1, 2025 17:29 15m 1s
Make a one-to-one association between a Context and a TermManager CI #208: Pull request #108 opened by daniel-larraz
May 1, 2025 14:30 15m 1s daniel-larraz:use-term-manager
daniel-larraz:use-term-manager
May 1, 2025 14:30 15m 1s
upgrade actions/cache version from 2 to 4 (#107) CI #207: Commit 9f6c143 pushed by daniel-larraz
May 1, 2025 02:40 14m 21s main
main
May 1, 2025 02:40 14m 21s
upgrade actions/cache version from 2 to 4 CI #206: Pull request #107 opened by alex-ozdemir
May 1, 2025 02:01 14m 52s alex-ozdemir:new-actions
alex-ozdemir:new-actions
May 1, 2025 02:01 14m 52s
restricting the use of Solver(): no specification of logic (#95) CI #204: Commit eb7ae9d pushed by HanielB
April 28, 2025 19:55 8s main
main
April 28, 2025 19:55 8s
ignore most output in pf tests, for test stability (#105) CI #203: Commit ba96caf pushed by alex-ozdemir
February 25, 2025 00:00 19m 7s main
main
February 25, 2025 00:00 19m 7s
ignore most output in pf tests, for test stability CI #202: Pull request #105 synchronize by alex-ozdemir
February 12, 2025 19:19 18m 57s alex-ozdemir:coarsen-proof-tests
alex-ozdemir:coarsen-proof-tests
February 12, 2025 19:19 18m 57s
ignore most output in pf tests, for test stability CI #201: Pull request #105 opened by alex-ozdemir
February 12, 2025 19:17 23s alex-ozdemir:coarsen-proof-tests
alex-ozdemir:coarsen-proof-tests
February 12, 2025 19:17 23s
Add Boolean overloads: &, |, ^, ~ (#103) CI #200: Commit a2a3746 pushed by alex-ozdemir
January 6, 2025 19:07 19m 8s main
main
January 6, 2025 19:07 19m 8s
Add Boolean overloads: &, |, ^, ~ CI #199: Pull request #103 synchronize by alex-ozdemir
January 6, 2025 19:06 18m 51s alex-ozdemir:fix-102
alex-ozdemir:fix-102
January 6, 2025 19:06 18m 51s
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