Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pass ctx to _py2expr when it is available (#113) CI #223: Commit cdcac7c pushed by daniel-larraz
12m 44s main
main
12m 44s
Pass ctx to _py2expr when it is available CI #222: Pull request #113 opened by daniel-larraz
12m 50s daniel-larraz:fix-py2expr-ctx
daniel-larraz:fix-py2expr-ctx
12m 50s
Update the getOptionInfo test output (#112) CI #221: Commit 3cc7467 pushed by daniel-larraz
15m 52s main
main
15m 52s
Update the getOptionInfo test output CI #220: Pull request #112 opened by daniel-larraz
14m 38s daniel-larraz:getOptionInfo-test-output
daniel-larraz:getOptionInfo-test-output
14m 38s
Add RecAddDefinition and AddDefinition CI #219: Pull request #106 synchronize by daniel-larraz
14m 54s caioraposo:main
caioraposo:main
14m 54s
Add RecAddDefinition and AddDefinition CI #218: Pull request #106 synchronize by caioraposo
17s caioraposo:main
caioraposo:main
17s
Add support for DatatypeSort (#110) CI #217: Commit 76b1acf pushed by daniel-larraz
15m 23s main
main
15m 23s
Add support for DatatypeSort CI #216: Pull request #110 synchronize by daniel-larraz
15m 37s allan-mercari:DatatypeSort
allan-mercari:DatatypeSort
15m 37s
Add support for DatatypeSort CI #215: Pull request #110 synchronize by allan-mercari
16s allan-mercari:DatatypeSort
allan-mercari:DatatypeSort
16s
nullary and unary ands and ors (#96) CI #211: Commit 27d50b6 pushed by daniel-larraz
13m 2s main
main
13m 2s
nullary and unary ands and ors CI #210: Pull request #96 synchronize by yoni206
13m 4s yoni206:01and
yoni206:01and
13m 4s
Make a one-to-one association between a Context and a TermManager (#108) CI #209: Commit bdab0ff pushed by daniel-larraz
15m 1s main
main
15m 1s
Make a one-to-one association between a Context and a TermManager CI #208: Pull request #108 opened by daniel-larraz
15m 1s daniel-larraz:use-term-manager
daniel-larraz:use-term-manager
15m 1s
upgrade actions/cache version from 2 to 4 (#107) CI #207: Commit 9f6c143 pushed by daniel-larraz
14m 21s main
main
14m 21s
upgrade actions/cache version from 2 to 4 CI #206: Pull request #107 opened by alex-ozdemir
14m 52s alex-ozdemir:new-actions
alex-ozdemir:new-actions
14m 52s
restricting the use of Solver(): no specification of logic (#95) CI #204: Commit eb7ae9d pushed by HanielB
8s main
main
8s
ignore most output in pf tests, for test stability (#105) CI #203: Commit ba96caf pushed by alex-ozdemir
19m 7s main
main
19m 7s
ignore most output in pf tests, for test stability CI #202: Pull request #105 synchronize by alex-ozdemir
18m 57s alex-ozdemir:coarsen-proof-tests
alex-ozdemir:coarsen-proof-tests
18m 57s
ignore most output in pf tests, for test stability CI #201: Pull request #105 opened by alex-ozdemir
23s alex-ozdemir:coarsen-proof-tests
alex-ozdemir:coarsen-proof-tests
23s
Add Boolean overloads: &, |, ^, ~ (#103) CI #200: Commit a2a3746 pushed by alex-ozdemir
19m 8s main
main
19m 8s
Add Boolean overloads: &, |, ^, ~ CI #199: Pull request #103 synchronize by alex-ozdemir
18m 51s alex-ozdemir:fix-102
alex-ozdemir:fix-102
18m 51s
Add Boolean overloads: &, |, ^, ~ CI #198: Pull request #103 synchronize by alex-ozdemir
15m 42s alex-ozdemir:fix-102
alex-ozdemir:fix-102
15m 42s
Add Boolean overloads: &, |, ^, ~ CI #197: Pull request #103 synchronize by alex-ozdemir
15m 23s alex-ozdemir:fix-102
alex-ozdemir:fix-102
15m 23s
Add Boolean overloads: &, |, ^, ~ CI #196: Pull request #103 synchronize by alex-ozdemir
19m 50s alex-ozdemir:fix-102
alex-ozdemir:fix-102
19m 50s
Add Boolean overloads: &, |, ^, ~ CI #195: Pull request #103 synchronize by alex-ozdemir
55s alex-ozdemir:fix-102
alex-ozdemir:fix-102
55s