Skip to content

Actions: Z3Prover/z3

MSVC Clang-CL Static Build

Actions

Loading...
Loading

Create status badge

Loading
676 workflow runs
676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

call normalize_e_by_gcd() only when moving an entry from F to S
MSVC Clang-CL Static Build #612: Commit f5150ec pushed by levnach
February 4, 2025 22:39 30m 17s reb_dio
February 4, 2025 22:39 30m 17s
Fixed bug in UP (#7545)
MSVC Clang-CL Static Build #611: Commit 0919844 pushed by NikolajBjorner
February 4, 2025 16:41 31m 23s master
February 4, 2025 16:41 31m 23s
Fixed bug in UP
MSVC Clang-CL Static Build #610: Pull request #7545 opened by CEisenhofer
February 4, 2025 14:53 32m 28s CEisenhofer:eis-bugfix
February 4, 2025 14:53 32m 28s
rebase with master
MSVC Clang-CL Static Build #609: Commit 4a953eb pushed by levnach
February 4, 2025 05:26 32m 1s reb_dio
February 4, 2025 05:26 32m 1s
parameters, local search, arithmetic propagation
MSVC Clang-CL Static Build #608: Commit edc3e0b pushed by NikolajBjorner
February 4, 2025 04:28 31m 35s conflict-throttle
February 4, 2025 04:28 31m 35s
with theory propagation
MSVC Clang-CL Static Build #607: Commit 3456af4 pushed by NikolajBjorner
February 3, 2025 22:08 31m 40s conflict-throttle
February 3, 2025 22:08 31m 40s
with theory lemma relevant
MSVC Clang-CL Static Build #606: Commit 7808be0 pushed by NikolajBjorner
February 3, 2025 21:44 31m 41s conflict-throttle
February 3, 2025 21:44 31m 41s
use learned vs relevant distinction for theory lemmas
MSVC Clang-CL Static Build #605: Commit ef7893c pushed by NikolajBjorner
February 3, 2025 21:40 31m 38s conflict-throttle
February 3, 2025 21:40 31m 38s
add conflict throttle, experiment with pb2bv
MSVC Clang-CL Static Build #604: Commit a513488 pushed by NikolajBjorner
February 3, 2025 11:14 32m 3s conflict-throttle
February 3, 2025 11:14 32m 3s
fix #7493
MSVC Clang-CL Static Build #603: Commit 17d47ca pushed by NikolajBjorner
February 2, 2025 23:00 31m 49s master
February 2, 2025 23:00 31m 49s
Add a sharp throttle to lia2card tactic to control overhead in defaul…
MSVC Clang-CL Static Build #602: Commit 99cbfa7 pushed by NikolajBjorner
February 2, 2025 21:58 31m 28s master
February 2, 2025 21:58 31m 28s
disable small clause generation for propagation
MSVC Clang-CL Static Build #601: Commit fd2a8a5 pushed by NikolajBjorner
February 2, 2025 04:04 30m 23s master
February 2, 2025 04:04 30m 23s
release
MSVC Clang-CL Static Build #600: Commit 0ef2698 pushed by NikolajBjorner
February 1, 2025 01:32 30m 16s master
February 1, 2025 01:32 30m 16s
throttle overhead with lia2card
MSVC Clang-CL Static Build #599: Commit aea4490 pushed by NikolajBjorner
January 31, 2025 20:37 32m 25s master
January 31, 2025 20:37 32m 25s
include extensionality constraints for arrays
MSVC Clang-CL Static Build #598: Commit d465bdb pushed by NikolajBjorner
January 31, 2025 19:06 33m 6s master
January 31, 2025 19:06 33m 6s
rehearse release
MSVC Clang-CL Static Build #597: Commit d6dcc51 pushed by NikolajBjorner
January 31, 2025 17:49 32m 34s master
January 31, 2025 17:49 32m 34s
update release version
MSVC Clang-CL Static Build #596: Commit 8ae24e2 pushed by NikolajBjorner
January 31, 2025 17:29 30m 5s master
January 31, 2025 17:29 30m 5s
Bump docker/build-push-action from 6.12.0 to 6.13.0 (#7535)
MSVC Clang-CL Static Build #595: Commit 1d622a6 pushed by NikolajBjorner
January 31, 2025 17:26 32m 10s master
January 31, 2025 17:26 32m 10s
Minor (#7540)
MSVC Clang-CL Static Build #594: Commit 9557e7c pushed by NikolajBjorner
January 31, 2025 16:22 31m 50s master
January 31, 2025 16:22 31m 50s
Minor seq-improvement
MSVC Clang-CL Static Build #593: Pull request #7540 synchronize by CEisenhofer
January 31, 2025 14:17 32m 20s CEisenhofer:eis-sls9
January 31, 2025 14:17 32m 20s
generalize logic detection to use sub-string matching
MSVC Clang-CL Static Build #592: Commit 1ce6e66 pushed by NikolajBjorner
January 31, 2025 00:35 31m 54s master
January 31, 2025 00:35 31m 54s
Minor seq-improvement
MSVC Clang-CL Static Build #591: Pull request #7540 opened by CEisenhofer
January 30, 2025 22:26 31m 28s CEisenhofer:eis-sls9
January 30, 2025 22:26 31m 28s
fixes based on benchmarking UFDTLIA/NIA/BV
MSVC Clang-CL Static Build #590: Commit e356628 pushed by NikolajBjorner
January 30, 2025 01:00 30m 1s master
January 30, 2025 01:00 30m 1s
fix several crashes exposed by QF_UFDTNIA benchmark sets
MSVC Clang-CL Static Build #589: Commit f1e0950 pushed by NikolajBjorner
January 30, 2025 00:24 31m 4s master
January 30, 2025 00:24 31m 4s
Add selective filter on Ackerman axioms
MSVC Clang-CL Static Build #588: Commit 51357f6 pushed by NikolajBjorner
January 29, 2025 19:42 31m 3s master
January 29, 2025 19:42 31m 3s