Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generalize logic detection to use sub-string matching Windows #688: Commit 1ce6e66 pushed by NikolajBjorner
January 31, 2025 00:35 In progress master
master
January 31, 2025 00:35 In progress
fixes based on benchmarking UFDTLIA/NIA/BV Windows #687: Commit e356628 pushed by NikolajBjorner
January 30, 2025 01:00 1h 1m 28s master
master
January 30, 2025 01:00 1h 1m 28s
fix several crashes exposed by QF_UFDTNIA benchmark sets Windows #686: Commit f1e0950 pushed by NikolajBjorner
January 30, 2025 00:24 1h 2m 18s master
master
January 30, 2025 00:24 1h 2m 18s
Add selective filter on Ackerman axioms Windows #685: Commit 51357f6 pushed by NikolajBjorner
January 29, 2025 19:42 1h 4m 17s master
master
January 29, 2025 19:42 1h 4m 17s
Removed no progress case in seq-sls (#7537) Windows #684: Commit c2a0919 pushed by NikolajBjorner
January 29, 2025 17:44 1h 4m 49s master
master
January 29, 2025 17:44 1h 4m 49s
add eval1 functionality for replace_all Windows #683: Commit 6d3cfb6 pushed by NikolajBjorner
January 29, 2025 12:37 1h 1m 13s master
master
January 29, 2025 12:37 1h 1m 13s
fix semantics of check-int64 div operation to align with smtlib seman… Windows #682: Commit ab43d2d pushed by NikolajBjorner
January 29, 2025 12:29 1h 1m 7s master
master
January 29, 2025 12:29 1h 1m 7s
remove verbose output of overflow Windows #681: Commit 30d72f7 pushed by NikolajBjorner
January 29, 2025 11:48 1h 2m 29s master
master
January 29, 2025 11:48 1h 2m 29s
add check for root literal assignment Windows #680: Commit 3379155 pushed by NikolajBjorner
January 29, 2025 11:14 1h 3m 45s master
master
January 29, 2025 11:14 1h 3m 45s
handle exception internally, avoid passing rationals to integer opera… Windows #679: Commit fe5d17d pushed by NikolajBjorner
January 29, 2025 04:10 1h 1m 49s master
master
January 29, 2025 04:10 1h 1m 49s
disable quadratic moves for non-integers as sqrt isn't currently defi… Windows #678: Commit fe713eb pushed by NikolajBjorner
January 29, 2025 00:53 1h 3m 1s master
master
January 29, 2025 00:53 1h 3m 1s
fix crash reported by Nikhil on F* due to unhandled exception while u… Windows #677: Commit fa60545 pushed by NikolajBjorner
January 29, 2025 00:27 1h 3m 13s master
master
January 29, 2025 00:27 1h 3m 13s
fix pickup of new constraints Windows #676: Commit 5c2a9d9 pushed by NikolajBjorner
January 28, 2025 23:04 1h 1m 44s master
master
January 28, 2025 23:04 1h 1m 44s
reset kv map consistently with egraph Windows #675: Commit a8279dd pushed by NikolajBjorner
January 28, 2025 01:09 1h 2m 46s master
master
January 28, 2025 01:09 1h 2m 46s
revert flat default Windows #674: Commit 57a5474 pushed by NikolajBjorner
January 28, 2025 00:56 59m 22s master
master
January 28, 2025 00:56 59m 22s
compress store array before model-eval rewriter sees it Windows #673: Commit 72ae161 pushed by NikolajBjorner
January 28, 2025 00:55 45m 24s master
master
January 28, 2025 00:55 45m 24s
sls fixes for ABV. Axiomatization required as saturation can produce … Windows #672: Commit fe1622b pushed by NikolajBjorner
January 27, 2025 23:16 1h 1m 48s master
master
January 27, 2025 23:16 1h 1m 48s
Preserve fingerprint in trace (#7534) Windows #671: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 1h 2m 29s master
master
January 27, 2025 21:09 1h 2m 29s
Mark fixed_eq literals as relevant (#7533) Windows #670: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 1h 6m 46s master
master
January 27, 2025 19:10 1h 6m 46s
fix build Windows #669: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 1h 4m 52s master
master
January 27, 2025 18:52 1h 4m 52s
updates to handle bugs exposed by qf-abv for local search Windows #668: Commit b6e7b80 pushed by NikolajBjorner
January 27, 2025 18:35 1h 1m 57s master
master
January 27, 2025 18:35 1h 1m 57s
fix bug with handling theory symbols of bit-vector type. Happens for … Windows #667: Commit 7ffed86 pushed by NikolajBjorner
January 27, 2025 16:22 1h 2m 15s master
master
January 27, 2025 16:22 1h 2m 15s
fix crash when accessing bool-info vars, reported by Clemens Eisenhofer Windows #666: Commit 09e84e0 pushed by NikolajBjorner
January 27, 2025 15:28 1h 0m 38s master
master
January 27, 2025 15:28 1h 0m 38s
fix #7521 (#7531) Windows #665: Commit f574950 pushed by NikolajBjorner
January 27, 2025 01:52 1h 1m 39s master
master
January 27, 2025 01:52 1h 1m 39s
fix model construction bug: ignore non-relevant expressions when buil… Windows #664: Commit 5634dc5 pushed by NikolajBjorner
January 27, 2025 01:50 1h 3m 37s master
master
January 27, 2025 01:50 1h 3m 37s