Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
17 workflow runs
17 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix support for small floats CI #224: Pull request #114 opened by TendTo
Action required TendTo:patch-1
TendTo:patch-1
Action required
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 DatatypeSort
DatatypeSort
15m 37s
Add support for DatatypeSort CI #215: Pull request #110 synchronize by ghost
16s DatatypeSort
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