Skip to content

Actions: Z3Prover/z3

Actions

RISC V and PowerPC 64

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cross-build.yml
1,951 workflow runs
1,951 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #7461 RISC V and PowerPC 64 #4547: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 22m 4s master
master
December 10, 2024 00:57 22m 4s
add another baseline heuristic for string equalities, add cases for a… RISC V and PowerPC 64 #4546: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 10m 12s master
master
December 9, 2024 23:55 10m 12s
Update emscripten (#7473) RISC V and PowerPC 64 #4545: Commit e5f8327 pushed by NikolajBjorner
December 7, 2024 02:11 21m 47s master
master
December 7, 2024 02:11 21m 47s
Update emscripten RISC V and PowerPC 64 #4544: Pull request #7473 opened by bakkot
December 6, 2024 21:16 22m 45s bakkot:update-emscripten
bakkot:update-emscripten
December 6, 2024 21:16 22m 45s
fixes to regex membership and edit updates RISC V and PowerPC 64 #4543: Commit 4fbf54a pushed by NikolajBjorner
December 6, 2024 17:50 22m 37s master
master
December 6, 2024 17:50 22m 37s
partial fix to make computed term integer well-formed for solve_for f… RISC V and PowerPC 64 #4542: Commit 1ab0962 pushed by NikolajBjorner
December 6, 2024 01:11 22m 9s master
master
December 6, 2024 01:11 22m 9s
Typescript high-level api for Sets (#7471) RISC V and PowerPC 64 #4541: Commit 4be4067 pushed by NikolajBjorner
December 5, 2024 15:00 22m 30s master
master
December 5, 2024 15:00 22m 30s
fix unsoundness with what appears to be unit literals but really are … RISC V and PowerPC 64 #4540: Commit 9db4ac4 pushed by NikolajBjorner
December 5, 2024 00:09 22m 7s reassert-all-units
reassert-all-units
December 5, 2024 00:09 22m 7s
add code path to reassert units RISC V and PowerPC 64 #4539: Commit 4d61c19 pushed by NikolajBjorner
December 4, 2024 23:35 21m 55s reassert-all-units
reassert-all-units
December 4, 2024 23:35 21m 55s
bugfix to elim_uncnstr to ensure nodes are created. Prepare smt_inter… RISC V and PowerPC 64 #4538: Commit a17d4e6 pushed by NikolajBjorner
December 4, 2024 23:32 21m 37s master
master
December 4, 2024 23:32 21m 37s
Typescript high-level api for Sets RISC V and PowerPC 64 #4537: Pull request #7471 opened by YuantianDing
December 4, 2024 20:04 22m 11s YuantianDing:master
YuantianDing:master
December 4, 2024 20:04 22m 11s
Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469) RISC V and PowerPC 64 #4536: Commit 6ea4110 pushed by NikolajBjorner
December 2, 2024 23:39 22m 5s master
master
December 2, 2024 23:39 22m 5s
Bump docker/build-push-action from 6.9.0 to 6.10.0 RISC V and PowerPC 64 #4535: Pull request #7469 opened by dependabot bot
December 2, 2024 23:20 21m 52s dependabot/github_actions/docker/build-push-action-6.10.0
dependabot/github_actions/docker/build-push-action-6.10.0
December 2, 2024 23:20 21m 52s
Bump docker/build-push-action from 6.9.0 to 6.10.0 RISC V and PowerPC 64 #4534: Commit 7bb5b38 pushed by dependabot bot
December 2, 2024 23:20 21m 58s dependabot/github_actions/docker/build-push-action-6.10.0
dependabot/github_actions/docker/build-push-action-6.10.0
December 2, 2024 23:20 21m 58s
add ast-mark to make traversal feasible RISC V and PowerPC 64 #4533: Commit 8c44f0c pushed by NikolajBjorner
December 2, 2024 22:38 23m 29s arith-gomory-ite
arith-gomory-ite
December 2, 2024 22:38 23m 29s
updates to equality solving search RISC V and PowerPC 64 #4532: Commit aec8675 pushed by NikolajBjorner
December 2, 2024 21:41 22m 35s master
master
December 2, 2024 21:41 22m 35s
try pushing gcd over ite RISC V and PowerPC 64 #4531: Commit bd5d388 pushed by NikolajBjorner
December 2, 2024 21:34 22m 6s arith-gomory-ite
arith-gomory-ite
December 2, 2024 21:34 22m 6s
sls: fix bug where unsat remains empty after a literal is flipped. Th… RISC V and PowerPC 64 #4530: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 21:03 22m 1s arith-gomory-ite
arith-gomory-ite
December 2, 2024 21:03 22m 1s
sls: fix bug where unsat remains empty after a literal is flipped. Th… RISC V and PowerPC 64 #4529: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 02:36 21m 47s master
master
December 2, 2024 02:36 21m 47s
add v0 of equality solver RISC V and PowerPC 64 #4528: Commit 24c3cd3 pushed by NikolajBjorner
December 1, 2024 01:25 21m 58s master
master
December 1, 2024 01:25 21m 58s
add facility to solve for a linear term over API RISC V and PowerPC 64 #4527: Commit 05e0532 pushed by NikolajBjorner
November 30, 2024 17:34 21m 41s master
master
November 30, 2024 17:34 21m 41s
add projection with witnesses RISC V and PowerPC 64 #4526: Commit d241156 pushed by NikolajBjorner
November 27, 2024 18:26 25m 20s master
master
November 27, 2024 18:26 25m 20s
internalize the reduce_args_tactic to reduce the number of heap alloc… RISC V and PowerPC 64 #4525: Commit ab1be5c pushed by nunoplopes
November 27, 2024 12:36 22m 6s master
master
November 27, 2024 12:36 22m 6s
remove unreachble code RISC V and PowerPC 64 #4524: Commit 1ccfba6 pushed by nunoplopes
November 27, 2024 12:09 21m 40s master
master
November 27, 2024 12:09 21m 40s
persist dio handler RISC V and PowerPC 64 #4523: Commit d7ec07f pushed by levnach
November 27, 2024 03:34 17m 31s dio
dio
November 27, 2024 03:34 17m 31s