Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
865 workflow runs
865 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add eval1 functionality for replace_all Open Issues #2890: Commit 6d3cfb6 pushed by NikolajBjorner
January 29, 2025 12:37 32m 51s master
master
January 29, 2025 12:37 32m 51s
fix semantics of check-int64 div operation to align with smtlib seman… Open Issues #2889: Commit ab43d2d pushed by NikolajBjorner
January 29, 2025 12:29 32m 47s master
master
January 29, 2025 12:29 32m 47s
remove verbose output of overflow Open Issues #2888: Commit 30d72f7 pushed by NikolajBjorner
January 29, 2025 11:48 32m 58s master
master
January 29, 2025 11:48 32m 58s
add check for root literal assignment Open Issues #2887: Commit 3379155 pushed by NikolajBjorner
January 29, 2025 11:14 34m 41s master
master
January 29, 2025 11:14 34m 41s
handle exception internally, avoid passing rationals to integer opera… Open Issues #2886: Commit fe5d17d pushed by NikolajBjorner
January 29, 2025 04:10 32m 58s master
master
January 29, 2025 04:10 32m 58s
disable quadratic moves for non-integers as sqrt isn't currently defi… Open Issues #2885: Commit fe713eb pushed by NikolajBjorner
January 29, 2025 00:53 33m 35s master
master
January 29, 2025 00:53 33m 35s
fix crash reported by Nikhil on F* due to unhandled exception while u… Open Issues #2884: Commit fa60545 pushed by NikolajBjorner
January 29, 2025 00:27 32m 13s master
master
January 29, 2025 00:27 32m 13s
fix pickup of new constraints Open Issues #2883: Commit 5c2a9d9 pushed by NikolajBjorner
January 28, 2025 23:04 31m 56s master
master
January 28, 2025 23:04 31m 56s
reset kv map consistently with egraph Open Issues #2882: Commit a8279dd pushed by NikolajBjorner
January 28, 2025 01:09 31m 22s master
master
January 28, 2025 01:09 31m 22s
revert flat default Open Issues #2881: Commit 57a5474 pushed by NikolajBjorner
January 28, 2025 00:56 32m 53s master
master
January 28, 2025 00:56 32m 53s
compress store array before model-eval rewriter sees it Open Issues #2880: Commit 72ae161 pushed by NikolajBjorner
January 28, 2025 00:55 31m 32s master
master
January 28, 2025 00:55 31m 32s
sls fixes for ABV. Axiomatization required as saturation can produce … Open Issues #2879: Commit fe1622b pushed by NikolajBjorner
January 27, 2025 23:16 32m 7s master
master
January 27, 2025 23:16 32m 7s
Preserve fingerprint in trace (#7534) Open Issues #2878: Commit 2050fc3 pushed by NikolajBjorner
January 27, 2025 21:09 31m 57s master
master
January 27, 2025 21:09 31m 57s
Mark fixed_eq literals as relevant (#7533) Open Issues #2877: Commit 2d8f024 pushed by NikolajBjorner
January 27, 2025 19:10 32m 37s master
master
January 27, 2025 19:10 32m 37s
fix build Open Issues #2876: Commit 63f9fda pushed by NikolajBjorner
January 27, 2025 18:52 32m 31s master
master
January 27, 2025 18:52 32m 31s
updates to handle bugs exposed by qf-abv for local search Open Issues #2875: Commit b6e7b80 pushed by NikolajBjorner
January 27, 2025 18:35 28m 21s master
master
January 27, 2025 18:35 28m 21s
fix bug with handling theory symbols of bit-vector type. Happens for … Open Issues #2874: Commit 7ffed86 pushed by NikolajBjorner
January 27, 2025 16:22 31m 48s master
master
January 27, 2025 16:22 31m 48s
fix crash when accessing bool-info vars, reported by Clemens Eisenhofer Open Issues #2873: Commit 09e84e0 pushed by NikolajBjorner
January 27, 2025 15:28 31m 48s master
master
January 27, 2025 15:28 31m 48s
fix #7521 (#7531) Open Issues #2872: Commit f574950 pushed by NikolajBjorner
January 27, 2025 01:52 32m 27s master
master
January 27, 2025 01:52 32m 27s
fix model construction bug: ignore non-relevant expressions when buil… Open Issues #2871: Commit 5634dc5 pushed by NikolajBjorner
January 27, 2025 01:50 32m 8s master
master
January 27, 2025 01:50 32m 8s
throttle value smt -> sls Open Issues #2870: Commit d3bf25c pushed by NikolajBjorner
January 26, 2025 22:16 32m 28s master
master
January 26, 2025 22:16 32m 28s
set log level of revert repair down to 3 Open Issues #2869: Commit 04d0e94 pushed by NikolajBjorner
January 26, 2025 19:57 32m 29s master
master
January 26, 2025 19:57 32m 29s
relax out of range restrictions to handle large intervals Open Issues #2868: Commit 55fc57b pushed by NikolajBjorner
January 26, 2025 19:24 32m 16s master
master
January 26, 2025 19:24 32m 16s
increase log level for 'set value failed' Open Issues #2867: Commit 4f2272d pushed by NikolajBjorner
January 26, 2025 07:44 32m 32s master
master
January 26, 2025 07:44 32m 32s
fix return value when in external mode bool-flip Open Issues #2866: Commit 7fb6497 pushed by NikolajBjorner
January 26, 2025 06:58 31m 53s master
master
January 26, 2025 06:58 31m 53s