Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
1,030 workflow runs
1,030 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

increase log level for 'set value failed' WebAssembly Build #3492: Commit 4f2272d pushed by NikolajBjorner
January 26, 2025 07:44 16m 53s master
master
January 26, 2025 07:44 16m 53s
fix return value when in external mode bool-flip WebAssembly Build #3491: Commit 7fb6497 pushed by NikolajBjorner
January 26, 2025 06:58 16m 55s master
master
January 26, 2025 06:58 16m 55s
add smt_params dependency to sls in cmakelists WebAssembly Build #3490: Commit d4f2de7 pushed by NikolajBjorner
January 26, 2025 06:38 16m 55s master
master
January 26, 2025 06:38 16m 55s
consolidate functionality WebAssembly Build #3489: Commit 12e8082 pushed by NikolajBjorner
January 26, 2025 06:35 16m 56s master
master
January 26, 2025 06:35 16m 56s
align use_list with number of variables during flatten, push clause a… WebAssembly Build #3488: Commit a701057 pushed by NikolajBjorner
January 26, 2025 04:48 17m 2s master
master
January 26, 2025 04:48 17m 2s
add recursive updates to lookahead WebAssembly Build #3487: Commit 7fc59b6 pushed by NikolajBjorner
January 26, 2025 00:10 16m 48s master
master
January 26, 2025 00:10 16m 48s
fix gcc build WebAssembly Build #3486: Commit 57cb988 pushed by NikolajBjorner
January 25, 2025 23:52 17m 27s master
master
January 25, 2025 23:52 17m 27s
fix debug build WebAssembly Build #3485: Commit 60fb53a pushed by NikolajBjorner
January 25, 2025 23:50 17m 7s master
master
January 25, 2025 23:50 17m 7s
fix trace build WebAssembly Build #3484: Commit ecc302b pushed by NikolajBjorner
January 25, 2025 19:39 17m 5s master
master
January 25, 2025 19:39 17m 5s
create separate file for expression based lookahead solver WebAssembly Build #3483: Commit d805322 pushed by NikolajBjorner
January 25, 2025 19:19 17m 38s master
master
January 25, 2025 19:19 17m 38s
Fix crash exposed in QF_UFNIA WebAssembly Build #3482: Commit f6e7dcf pushed by NikolajBjorner
January 24, 2025 23:31 17m 3s master
master
January 24, 2025 23:31 17m 3s
disable lookahead on compound values (fixes bug reported by Clemens),… WebAssembly Build #3481: Commit 9e8dd68 pushed by NikolajBjorner
January 24, 2025 19:01 16m 56s master
master
January 24, 2025 19:01 16m 56s
remove incorrect calls to VERIFY in array solver WebAssembly Build #3480: Commit 053349c pushed by NikolajBjorner
January 24, 2025 17:54 17m 13s master
master
January 24, 2025 17:54 17m 13s
deal with compiler warnings and include value exchange prior to final… WebAssembly Build #3479: Commit 0e8969c pushed by NikolajBjorner
January 24, 2025 17:40 17m 1s master
master
January 24, 2025 17:40 17m 1s
avoid repeated clauses during scoring function WebAssembly Build #3478: Commit ce615ee pushed by NikolajBjorner
January 23, 2025 18:51 17m 12s master
master
January 23, 2025 18:51 17m 12s
count every lookahead as activity WebAssembly Build #3477: Commit b149d1f pushed by NikolajBjorner
January 23, 2025 06:57 17m 30s master
master
January 23, 2025 06:57 17m 30s
enable value import in parallel mode WebAssembly Build #3476: Commit 4d33f44 pushed by NikolajBjorner
January 23, 2025 06:46 17m 21s master
master
January 23, 2025 06:46 17m 21s
disable backoff on smt->sls value export WebAssembly Build #3475: Commit e32f685 pushed by NikolajBjorner
January 23, 2025 06:15 17m 22s master
master
January 23, 2025 06:15 17m 22s
update restart next WebAssembly Build #3474: Commit beb9d2e pushed by NikolajBjorner
January 23, 2025 05:40 17m 3s master
master
January 23, 2025 05:40 17m 3s
fix build for tests WebAssembly Build #3473: Commit 3a3e176 pushed by NikolajBjorner
January 22, 2025 21:30 17m 17s master
master
January 22, 2025 21:30 17m 17s
add cases for new parameters for ts build WebAssembly Build #3472: Commit 6893e78 pushed by NikolajBjorner
January 22, 2025 19:59 17m 24s master
master
January 22, 2025 19:59 17m 24s
Expose PARAMETER_INTERNAL and PARAMETER_ZSTRING in case API users acc… WebAssembly Build #3471: Commit bd566f1 pushed by NikolajBjorner
January 22, 2025 19:46 28s master
master
January 22, 2025 19:46 28s
use cmake from PyPI only when system executable is not available (#7514) WebAssembly Build #3470: Commit fc9ff94 pushed by NikolajBjorner
January 21, 2025 22:39 17m 2s master
master
January 21, 2025 22:39 17m 2s
Bump docker/build-push-action from 6.10.0 to 6.12.0 (#7516) WebAssembly Build #3469: Commit 45ff1f4 pushed by NikolajBjorner
January 21, 2025 22:38 17m 8s master
master
January 21, 2025 22:38 17m 8s
move away from sets and into vectors for data associated with Boolean… WebAssembly Build #3468: Commit d944779 pushed by NikolajBjorner
January 21, 2025 22:30 16m 59s master
master
January 21, 2025 22:30 16m 59s