Skip to content

Actions: cvc5/cvc5_pythonic_api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Make fresh names unique across sorts CI #248: Pull request #123 synchronize by daniel-larraz
28s daniel-larraz:fresh-const-unique-names
daniel-larraz:fresh-const-unique-names
28s
Build cvc5 as an unrestricted build (#124) CI #247: Commit 726058d pushed by daniel-larraz
15m 35s main
main
15m 35s
Make fresh names unique across sorts CI #246: Pull request #123 synchronize by daniel-larraz
17m 30s daniel-larraz:fresh-const-unique-names
daniel-larraz:fresh-const-unique-names
17m 30s
Build cvc5 as an unrestricted build CI #245: Pull request #124 synchronize by daniel-larraz
15m 57s daniel-larraz:ci-unrestricted-build-type
daniel-larraz:ci-unrestricted-build-type
15m 57s
Make fresh names unique across sorts CI #244: Pull request #123 synchronize by daniel-larraz
2m 34s daniel-larraz:fresh-const-unique-names
daniel-larraz:fresh-const-unique-names
2m 34s
Build cvc5 as an unrestricted build CI #243: Pull request #124 opened by daniel-larraz
2m 41s daniel-larraz:ci-unrestricted-build-type
daniel-larraz:ci-unrestricted-build-type
2m 41s
Make fresh names unique across sorts CI #242: Pull request #123 opened by daniel-larraz
37s daniel-larraz:fresh-const-unique-names
daniel-larraz:fresh-const-unique-names
37s
Support higher-order function sorts and partial application (#122) CI #241: Commit bfc0e24 pushed by daniel-larraz
5m 44s main
main
5m 44s
Build assertion messages only when the assertion fails (#121) CI #240: Commit 35e226d pushed by daniel-larraz
1m 45s main
main
1m 45s
Build assertion messages only when the assertion fails CI #239: Pull request #121 synchronize by daniel-larraz
30s daniel-larraz:lazy-assert-msg
daniel-larraz:lazy-assert-msg
30s
Support higher-order function sorts and partial application CI #238: Pull request #122 opened by daniel-larraz
1m 54s daniel-larraz:higher-order-apply
daniel-larraz:higher-order-apply
1m 54s
Build assertion messages only when the assertion fails CI #237: Pull request #121 opened by daniel-larraz
1m 39s daniel-larraz:lazy-assert-msg
daniel-larraz:lazy-assert-msg
1m 39s
Construct DatatypeRef and DatatypeSortRef for datatypes (#120) CI #236: Commit 48d3f51 pushed by daniel-larraz
2m 39s main
main
2m 39s
Construct DatatypeRef and DatatypeSortRef for datatype terms and sorts CI #235: Pull request #120 opened by daniel-larraz
26s daniel-larraz:datatype-refs
daniel-larraz:datatype-refs
26s
Add FuncSortRef and fix QuantifierRef.sort for lambdas (#118) CI #234: Commit 3b5d4e8 pushed by daniel-larraz
25s main
main
25s
Cache the cvc5 artifacts required to test the Pythonic API (#119) CI #233: Commit 4c0ce75 pushed by daniel-larraz
15m 51s main
main
15m 51s
Cache the cvc5 artifacts required to test the Pythonic API CI #232: Pull request #119 opened by daniel-larraz
15m 19s daniel-larraz:ci-cache-cvc5-artifacts
daniel-larraz:ci-cache-cvc5-artifacts
15m 19s
Running Copilot Code Review Copilot #1: by Copilot AI
3m 8s main
main
3m 8s
Add FuncSortRef and fix QuantifierRef.sort for lambda expressions CI #231: Pull request #118 opened by daniel-larraz
14m 4s daniel-larraz:func-sort-ref
daniel-larraz:func-sort-ref
14m 4s
Fix RealVal for floats requiring scientific notation (#117) CI #230: Commit b8a3e49 pushed by daniel-larraz
13m 28s main
main
13m 28s
Fix RealVal for floats requiring scientific notation CI #229: Pull request #117 synchronize by daniel-larraz
14m 57s daniel-larraz:fix-float-realval
daniel-larraz:fix-float-realval
14m 57s
Update the multiple_solvers test output (#116) CI #228: Commit c66c2b7 pushed by daniel-larraz
15m 23s main
main
15m 23s
Fix RealVal for floats requiring scientific notation CI #227: Pull request #117 opened by daniel-larraz
10m 12s daniel-larraz:fix-float-realval
daniel-larraz:fix-float-realval
10m 12s
Update the multiple_solvers test output CI #226: Pull request #116 opened by daniel-larraz
15m 5s daniel-larraz:update-multiple-solvers-output
daniel-larraz:update-multiple-solvers-output
15m 5s
Pass ctx to _py2expr when it is available (#113) CI #223: Commit cdcac7c pushed by daniel-larraz
12m 44s main
main
12m 44s