Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
QF_S String Solver Benchmark QF_S String Solver Benchmark #233: Scheduled
1m 43s master
master
1m 43s
Different slices of the same variable have the same hash OCaml Binding CI (Ubuntu + macOS) #7374: Commit cc42304 pushed by CEisenhofer
19m 0s c3
c3
19m 0s
Different slices of the same variable have the same hash CI #4629: Commit cc42304 pushed by CEisenhofer
27m 11s c3
c3
27m 11s
Explicit formula for length computation of regexes CI #4628: Commit 79cdc91 pushed by CEisenhofer
22m 1s c3
c3
22m 1s
Explicit formula for length computation of regexes OCaml Binding CI (Ubuntu + macOS) #7373: Commit 79cdc91 pushed by CEisenhofer
25m 11s c3
c3
25m 11s
[snapshot-regression-fix] Fix psmt infinite loop on theory-incomplete cubes (#3044) OCaml Binding CI (Ubuntu + macOS) #7372: Pull request #9983 opened by levnach
24m 2s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
24m 2s
[snapshot-regression-fix] Fix psmt infinite loop on theory-incomplete cubes (#3044) WebAssembly Build #7983: Pull request #9983 opened by levnach
19m 2s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
19m 2s
[snapshot-regression-fix] Fix psmt infinite loop on theory-incomplete cubes (#3044) CI #4627: Pull request #9983 opened by levnach
33m 0s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
33m 0s
[snapshot-regression-fix] Fix psmt infinite loop on theory-incomplete cubes (#3044) Windows #3410: Pull request #9983 opened by levnach
1h 10m 37s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
1h 10m 37s
[snapshot-regression-fix] Fix psmt infinite loop on theory-incomplete cubes (#3044) Mark Pull Requests Ready for Review #445: Pull request #9983 opened by levnach
9s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
9s
Fix psmt infinite loop on theory-incomplete cubes (#3044) CI #4626: Commit 2fef5b2 pushed by levnach
37m 21s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
37m 21s
Fix psmt infinite loop on theory-incomplete cubes (#3044) OCaml Binding CI (Ubuntu + macOS) #7371: Commit 2fef5b2 pushed by levnach
24m 11s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
24m 11s
Fix WASM build: remove duplicate mk_parallel_tactic definition (#9979) OCaml Binding CI (Ubuntu + macOS) #7370: Commit f07acb4 pushed by levnach
25m 8s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
25m 8s
Fix WASM build: remove duplicate mk_parallel_tactic definition (#9979) CI #4625: Commit f07acb4 pushed by levnach
3s fix/iss-3044-psmt-unknown-637925d1f690eccc
fix/iss-3044-psmt-unknown-637925d1f690eccc
3s
[snapshot-regression-fix] Restore terminal "giveup" detection in the parallel tactic (pqffd) CI #4624: Pull request #9982 opened by levnach
29m 36s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
29m 36s
[snapshot-regression-fix] Restore terminal "giveup" detection in the parallel tactic (pqffd) Windows #3409: Pull request #9982 opened by levnach
1h 3m 58s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
1h 3m 58s
[snapshot-regression-fix] Restore terminal "giveup" detection in the parallel tactic (pqffd) OCaml Binding CI (Ubuntu + macOS) #7369: Pull request #9982 opened by levnach
24m 0s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
24m 0s
[snapshot-regression-fix] Restore terminal "giveup" detection in the parallel tactic (pqffd) Mark Pull Requests Ready for Review #444: Pull request #9982 opened by levnach
10s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
10s
[snapshot-regression-fix] Restore terminal "giveup" detection in the parallel tactic (pqffd) WebAssembly Build #7982: Pull request #9982 opened by levnach
19m 7s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
19m 7s
Fix parallel tactic spinning to timeout on terminal solver giveup CI #4623: Commit 699d7b5 pushed by levnach
32m 52s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
32m 52s
Fix parallel tactic spinning to timeout on terminal solver giveup OCaml Binding CI (Ubuntu + macOS) #7368: Commit 699d7b5 pushed by levnach
18m 58s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
18m 58s
Fix WASM build: remove duplicate mk_parallel_tactic definition (#9979) CI #4622: Commit f07acb4 pushed by levnach
2s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
2s
Fix WASM build: remove duplicate mk_parallel_tactic definition (#9979) OCaml Binding CI (Ubuntu + macOS) #7367: Commit f07acb4 pushed by levnach
23m 55s fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
fix-pqffd-giveup-iss2922-5224ec5b8a8a293e
23m 55s
Code Simplifier Code Simplifier #145: Scheduled
21s master
master
21s
Build FStar master with Z3 master Build FStar master with Z3 master #32: Scheduled
39m 48s master
master
39m 48s