Skip to content

Actions: Z3Prover/z3

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Windows.yml
699 workflow runs
699 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed bug in UP (#7545) Windows #699: Commit 0919844 pushed by NikolajBjorner
February 4, 2025 16:41 1h 0m 33s master
master
February 4, 2025 16:41 1h 0m 33s
fix #7493 Windows #698: Commit 17d47ca pushed by NikolajBjorner
February 2, 2025 23:00 1h 0m 18s master
master
February 2, 2025 23:00 1h 0m 18s
Add a sharp throttle to lia2card tactic to control overhead in defaul… Windows #697: Commit 99cbfa7 pushed by NikolajBjorner
February 2, 2025 21:58 1h 0m 25s master
master
February 2, 2025 21:58 1h 0m 25s
disable small clause generation for propagation Windows #696: Commit fd2a8a5 pushed by NikolajBjorner
February 2, 2025 04:04 48m 35s master
master
February 2, 2025 04:04 48m 35s
release Windows #695: Commit 0ef2698 pushed by NikolajBjorner
February 1, 2025 01:32 46m 26s master
master
February 1, 2025 01:32 46m 26s
throttle overhead with lia2card Windows #694: Commit aea4490 pushed by NikolajBjorner
January 31, 2025 20:37 44m 34s master
master
January 31, 2025 20:37 44m 34s
include extensionality constraints for arrays Windows #693: Commit d465bdb pushed by NikolajBjorner
January 31, 2025 19:06 1h 1m 29s master
master
January 31, 2025 19:06 1h 1m 29s
rehearse release Windows #692: Commit d6dcc51 pushed by NikolajBjorner
January 31, 2025 17:49 59m 56s master
master
January 31, 2025 17:49 59m 56s
update release version Windows #691: Commit 8ae24e2 pushed by NikolajBjorner
January 31, 2025 17:29 1h 1m 51s master
master
January 31, 2025 17:29 1h 1m 51s
Bump docker/build-push-action from 6.12.0 to 6.13.0 (#7535) Windows #690: Commit 1d622a6 pushed by NikolajBjorner
January 31, 2025 17:26 1h 3m 38s master
master
January 31, 2025 17:26 1h 3m 38s
Minor (#7540) Windows #689: Commit 9557e7c pushed by NikolajBjorner
January 31, 2025 16:22 1h 1m 47s master
master
January 31, 2025 16:22 1h 1m 47s
generalize logic detection to use sub-string matching Windows #688: Commit 1ce6e66 pushed by NikolajBjorner
January 31, 2025 00:35 1h 2m 4s master
master
January 31, 2025 00:35 1h 2m 4s
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