Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

#7027 WebAssembly Build #2462: Commit 362d299 pushed by NikolajBjorner
December 3, 2023 03:34 6m 15s master
master
December 3, 2023 03:34 6m 15s
Disable hoist entirely, it is bad on QF_LIA and does not help on othe… WebAssembly Build #2461: Commit ba8d8f0 pushed by NikolajBjorner
December 2, 2023 23:40 11m 28s master
master
December 2, 2023 23:40 11m 28s
remove assert #7032 WebAssembly Build #2460: Commit 585d027 pushed by NikolajBjorner
December 2, 2023 22:12 11m 40s master
master
December 2, 2023 22:12 11m 40s
#7027 WebAssembly Build #2459: Commit 331507c pushed by NikolajBjorner
December 2, 2023 20:05 11m 32s master
master
December 2, 2023 20:05 11m 32s
try with missed bounds WebAssembly Build #2458: Commit 7eab26e pushed by NikolajBjorner
December 2, 2023 18:52 11m 21s master
master
December 2, 2023 18:52 11m 21s
CMake: Improve handling of git hash/describe (#7028) WebAssembly Build #2457: Commit ed5ab54 pushed by NikolajBjorner
December 2, 2023 17:48 11m 16s master
master
December 2, 2023 17:48 11m 16s
touch WebAssembly Build #2455: Commit a15a7ce pushed by NikolajBjorner
December 1, 2023 22:13 11m 43s master
master
December 1, 2023 22:13 11m 43s
Regressions reported by Guido WebAssembly Build #2454: Commit faf1401 pushed by NikolajBjorner
December 1, 2023 21:32 11m 27s master
master
December 1, 2023 21:32 11m 27s
fix build WebAssembly Build #2452: Commit 8a0dec1 pushed by NikolajBjorner
November 30, 2023 22:08 11m 27s master
master
November 30, 2023 22:08 11m 27s
add EUF plugin framework. WebAssembly Build #2451: Commit b52fd8d pushed by NikolajBjorner
November 30, 2023 21:58 8m 59s master
master
November 30, 2023 21:58 8m 59s
remove an unnecessary if WebAssembly Build #2450: Commit 5784c2d pushed by levnach
November 30, 2023 18:59 11m 23s master
master
November 30, 2023 18:59 11m 23s
Add __enter__ and __exit__ methods to Solver class (#7025) WebAssembly Build #2449: Commit d540d88 pushed by NikolajBjorner
November 30, 2023 16:35 11m 49s master
master
November 30, 2023 16:35 11m 49s
deal with ubuntu/clang warnings WebAssembly Build #2447: Commit 26440ed pushed by NikolajBjorner
November 29, 2023 23:45 12m 23s master
master
November 29, 2023 23:45 12m 23s
fix #7011 WebAssembly Build #2446: Commit e9abdbb pushed by NikolajBjorner
November 29, 2023 23:08 11m 25s master
master
November 29, 2023 23:08 11m 25s
fix regression in fix for #7006 WebAssembly Build #2445: Commit 9efe6f6 pushed by NikolajBjorner
November 29, 2023 22:55 11m 42s master
master
November 29, 2023 22:55 11m 42s
re-enable delayed literal propagation WebAssembly Build #2444: Commit faa2d8a pushed by NikolajBjorner
November 29, 2023 22:00 11m 38s master
master
November 29, 2023 22:00 11m 38s
revert some fixes to euf WebAssembly Build #2443: Commit 4289cfa pushed by NikolajBjorner
November 29, 2023 21:48 11m 26s master
master
November 29, 2023 21:48 11m 26s
fix #7024 WebAssembly Build #2442: Commit 41a3196 pushed by NikolajBjorner
November 29, 2023 21:35 11m 31s master
master
November 29, 2023 21:35 11m 31s
remove separate to_add_literal queue WebAssembly Build #2441: Commit d469c10 pushed by NikolajBjorner
November 29, 2023 20:46 11m 0s master
master
November 29, 2023 20:46 11m 0s
#6523 - contains_ptr bug regarding etable reinserts WebAssembly Build #2440: Commit e972eb3 pushed by NikolajBjorner
November 29, 2023 18:44 11m 21s master
master
November 29, 2023 18:44 11m 21s
fix #7006 WebAssembly Build #2439: Commit 79bbbf7 pushed by NikolajBjorner
November 28, 2023 23:07 11m 31s master
master
November 28, 2023 23:07 11m 31s
fix #7017 WebAssembly Build #2438: Commit 8179f8b pushed by NikolajBjorner
November 28, 2023 22:33 11m 55s master
master
November 28, 2023 22:33 11m 55s
add comments for API versions of bit-vector overflow/underflow checks… WebAssembly Build #2437: Commit f36f21f pushed by NikolajBjorner
November 28, 2023 21:36 11m 26s master
master
November 28, 2023 21:36 11m 26s
fix #7012 WebAssembly Build #2436: Commit f90b10a pushed by NikolajBjorner
November 28, 2023 21:26 12m 6s master
master
November 28, 2023 21:26 12m 6s
fix #7018 WebAssembly Build #2435: Commit 69f9640 pushed by NikolajBjorner
November 28, 2023 21:14 11m 21s master
master
November 28, 2023 21:14 11m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.