Skip to content

Actions: Z3Prover/z3

Actions

Open Issues

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wip.yml
875 workflow runs
875 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
add smt_params dependency to sls in cmakelists Open Issues #2865: Commit d4f2de7 pushed by NikolajBjorner
January 26, 2025 06:38 30m 56s master
master
January 26, 2025 06:38 30m 56s
consolidate functionality Open Issues #2864: Commit 12e8082 pushed by NikolajBjorner
January 26, 2025 06:35 32m 45s master
master
January 26, 2025 06:35 32m 45s
align use_list with number of variables during flatten, push clause a… Open Issues #2863: Commit a701057 pushed by NikolajBjorner
January 26, 2025 04:48 31m 45s master
master
January 26, 2025 04:48 31m 45s
add recursive updates to lookahead Open Issues #2862: Commit 7fc59b6 pushed by NikolajBjorner
January 26, 2025 00:10 31m 55s master
master
January 26, 2025 00:10 31m 55s
fix gcc build Open Issues #2861: Commit 57cb988 pushed by NikolajBjorner
January 25, 2025 23:52 31m 35s master
master
January 25, 2025 23:52 31m 35s
fix debug build Open Issues #2860: Commit 60fb53a pushed by NikolajBjorner
January 25, 2025 23:50 27m 14s master
master
January 25, 2025 23:50 27m 14s
fix trace build Open Issues #2859: Commit ecc302b pushed by NikolajBjorner
January 25, 2025 19:39 28m 16s master
master
January 25, 2025 19:39 28m 16s
create separate file for expression based lookahead solver Open Issues #2858: Commit d805322 pushed by NikolajBjorner
January 25, 2025 19:19 27m 19s master
master
January 25, 2025 19:19 27m 19s
Fix crash exposed in QF_UFNIA Open Issues #2857: Commit f6e7dcf pushed by NikolajBjorner
January 24, 2025 23:31 31m 41s master
master
January 24, 2025 23:31 31m 41s
disable lookahead on compound values (fixes bug reported by Clemens),… Open Issues #2856: Commit 9e8dd68 pushed by NikolajBjorner
January 24, 2025 19:01 35m 9s master
master
January 24, 2025 19:01 35m 9s
remove incorrect calls to VERIFY in array solver Open Issues #2855: Commit 053349c pushed by NikolajBjorner
January 24, 2025 17:54 33m 7s master
master
January 24, 2025 17:54 33m 7s
deal with compiler warnings and include value exchange prior to final… Open Issues #2854: Commit 0e8969c pushed by NikolajBjorner
January 24, 2025 17:40 32m 37s master
master
January 24, 2025 17:40 32m 37s
avoid repeated clauses during scoring function Open Issues #2853: Commit ce615ee pushed by NikolajBjorner
January 23, 2025 18:51 32m 18s master
master
January 23, 2025 18:51 32m 18s
count every lookahead as activity Open Issues #2852: Commit b149d1f pushed by NikolajBjorner
January 23, 2025 06:57 32m 17s master
master
January 23, 2025 06:57 32m 17s
enable value import in parallel mode Open Issues #2851: Commit 4d33f44 pushed by NikolajBjorner
January 23, 2025 06:46 31m 41s master
master
January 23, 2025 06:46 31m 41s
disable backoff on smt->sls value export Open Issues #2850: Commit e32f685 pushed by NikolajBjorner
January 23, 2025 06:15 31m 44s master
master
January 23, 2025 06:15 31m 44s
update restart next Open Issues #2849: Commit beb9d2e pushed by NikolajBjorner
January 23, 2025 05:40 33m 15s master
master
January 23, 2025 05:40 33m 15s
fix build for tests Open Issues #2848: Commit 3a3e176 pushed by NikolajBjorner
January 22, 2025 21:30 33m 42s master
master
January 22, 2025 21:30 33m 42s
add cases for new parameters for ts build Open Issues #2847: Commit 6893e78 pushed by NikolajBjorner
January 22, 2025 19:59 32m 38s master
master
January 22, 2025 19:59 32m 38s
Expose PARAMETER_INTERNAL and PARAMETER_ZSTRING in case API users acc… Open Issues #2846: Commit bd566f1 pushed by NikolajBjorner
January 22, 2025 19:46 32m 32s master
master
January 22, 2025 19:46 32m 32s
use cmake from PyPI only when system executable is not available (#7514) Open Issues #2845: Commit fc9ff94 pushed by NikolajBjorner
January 21, 2025 22:39 32m 8s master
master
January 21, 2025 22:39 32m 8s
Bump docker/build-push-action from 6.10.0 to 6.12.0 (#7516) Open Issues #2844: Commit 45ff1f4 pushed by NikolajBjorner
January 21, 2025 22:38 32m 14s master
master
January 21, 2025 22:38 32m 14s
move away from sets and into vectors for data associated with Boolean… Open Issues #2843: Commit d944779 pushed by NikolajBjorner
January 21, 2025 22:30 32m 54s master
master
January 21, 2025 22:30 32m 54s