Skip to content

Actions: Z3Prover/z3

Actions

MSVC Static Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msvc-static-build.yml
752 workflow run results
752 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip - incremental edit distance algorithm MSVC Static Build #3612: Commit 31ee56c pushed by NikolajBjorner
December 13, 2024 17:30 28m 24s master
master
December 13, 2024 17:30 28m 24s
Add __enter__ and __exit__ methods on Optimize class (#7477) MSVC Static Build #3611: Commit b429562 pushed by NikolajBjorner
December 13, 2024 17:19 30m 49s master
master
December 13, 2024 17:19 30m 49s
add repair step for str.replace MSVC Static Build #3609: Commit 1e5c59a pushed by NikolajBjorner
December 12, 2024 17:15 28m 31s master
master
December 12, 2024 17:15 28m 31s
fix #7461 MSVC Static Build #3608: Commit e8c2360 pushed by NikolajBjorner
December 10, 2024 00:57 28m 46s master
master
December 10, 2024 00:57 28m 46s
add another baseline heuristic for string equalities, add cases for a… MSVC Static Build #3607: Commit 8f5658b pushed by NikolajBjorner
December 9, 2024 23:55 28m 0s master
master
December 9, 2024 23:55 28m 0s
Update emscripten (#7473) MSVC Static Build #3606: Commit e5f8327 pushed by NikolajBjorner
December 7, 2024 02:11 27m 38s master
master
December 7, 2024 02:11 27m 38s
Update emscripten MSVC Static Build #3605: Pull request #7473 opened by bakkot
December 6, 2024 21:16 28m 29s bakkot:update-emscripten
bakkot:update-emscripten
December 6, 2024 21:16 28m 29s
fixes to regex membership and edit updates MSVC Static Build #3604: Commit 4fbf54a pushed by NikolajBjorner
December 6, 2024 17:50 29m 50s master
master
December 6, 2024 17:50 29m 50s
partial fix to make computed term integer well-formed for solve_for f… MSVC Static Build #3603: Commit 1ab0962 pushed by NikolajBjorner
December 6, 2024 01:11 27m 53s master
master
December 6, 2024 01:11 27m 53s
Typescript high-level api for Sets (#7471) MSVC Static Build #3602: Commit 4be4067 pushed by NikolajBjorner
December 5, 2024 15:00 28m 10s master
master
December 5, 2024 15:00 28m 10s
fix unsoundness with what appears to be unit literals but really are … MSVC Static Build #3601: Commit 9db4ac4 pushed by NikolajBjorner
December 5, 2024 00:09 29m 29s reassert-all-units
reassert-all-units
December 5, 2024 00:09 29m 29s
add code path to reassert units MSVC Static Build #3600: Commit 4d61c19 pushed by NikolajBjorner
December 4, 2024 23:35 31m 20s reassert-all-units
reassert-all-units
December 4, 2024 23:35 31m 20s
bugfix to elim_uncnstr to ensure nodes are created. Prepare smt_inter… MSVC Static Build #3599: Commit a17d4e6 pushed by NikolajBjorner
December 4, 2024 23:32 28m 10s master
master
December 4, 2024 23:32 28m 10s
Typescript high-level api for Sets MSVC Static Build #3598: Pull request #7471 opened by YuantianDing
December 4, 2024 20:04 28m 30s YuantianDing:master
YuantianDing:master
December 4, 2024 20:04 28m 30s
Bump docker/build-push-action from 6.9.0 to 6.10.0 (#7469) MSVC Static Build #3597: Commit 6ea4110 pushed by NikolajBjorner
December 2, 2024 23:39 29m 29s master
master
December 2, 2024 23:39 29m 29s
Bump docker/build-push-action from 6.9.0 to 6.10.0 MSVC Static Build #3596: Pull request #7469 opened by dependabot bot
December 2, 2024 23:20 27m 33s 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 27m 33s
Bump docker/build-push-action from 6.9.0 to 6.10.0 MSVC Static Build #3595: Commit 7bb5b38 pushed by dependabot bot
December 2, 2024 23:20 27m 53s 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 27m 53s
add ast-mark to make traversal feasible MSVC Static Build #3594: Commit 8c44f0c pushed by NikolajBjorner
December 2, 2024 22:38 27m 46s arith-gomory-ite
arith-gomory-ite
December 2, 2024 22:38 27m 46s
updates to equality solving search MSVC Static Build #3593: Commit aec8675 pushed by NikolajBjorner
December 2, 2024 21:41 28m 0s master
master
December 2, 2024 21:41 28m 0s
try pushing gcd over ite MSVC Static Build #3592: Commit bd5d388 pushed by NikolajBjorner
December 2, 2024 21:34 27m 56s arith-gomory-ite
arith-gomory-ite
December 2, 2024 21:34 27m 56s
sls: fix bug where unsat remains empty after a literal is flipped. Th… MSVC Static Build #3591: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 21:03 27m 39s arith-gomory-ite
arith-gomory-ite
December 2, 2024 21:03 27m 39s
sls: fix bug where unsat remains empty after a literal is flipped. Th… MSVC Static Build #3590: Commit e6feb84 pushed by NikolajBjorner
December 2, 2024 02:36 27m 33s master
master
December 2, 2024 02:36 27m 33s
add v0 of equality solver MSVC Static Build #3589: Commit 24c3cd3 pushed by NikolajBjorner
December 1, 2024 01:25 28m 29s master
master
December 1, 2024 01:25 28m 29s
add facility to solve for a linear term over API MSVC Static Build #3588: Commit 05e0532 pushed by NikolajBjorner
November 30, 2024 17:34 27m 35s master
master
November 30, 2024 17:34 27m 35s
add projection with witnesses MSVC Static Build #3587: Commit d241156 pushed by NikolajBjorner
November 27, 2024 18:26 28m 23s master
master
November 27, 2024 18:26 28m 23s