Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
519 workflow run results
519 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix to_fp_signed (#7034) WebAssembly Build #2472: Commit 6910a4e pushed by NikolajBjorner
December 4, 2023 00:38 11m 18s master
master
December 4, 2023 00:38 11m 18s
remove hoist functionality WebAssembly Build #2471: Commit ea3628e pushed by NikolajBjorner
December 4, 2023 00:28 11m 33s master
master
December 4, 2023 00:28 11m 33s
handle ac-op in legacy special relations procedure by adding warning WebAssembly Build #2470: Commit bd8bed1 pushed by NikolajBjorner
December 3, 2023 20:55 11m 18s master
master
December 3, 2023 20:55 11m 18s
minor simplification during internalization WebAssembly Build #2469: Commit 1b1ebaa pushed by NikolajBjorner
December 3, 2023 20:43 12m 3s master
master
December 3, 2023 20:43 12m 3s
Fix fp.to_fp WebAssembly Build #2468: Pull request #7034 opened by wintersteiger
December 3, 2023 19:42 11m 44s wintersteiger:cwinter/to-fp-signed-fix
wintersteiger:cwinter/to-fp-signed-fix
December 3, 2023 19:42 11m 44s
#7027 WebAssembly Build #2467: Commit 9cc2ce4 pushed by NikolajBjorner
December 3, 2023 19:14 11m 24s master
master
December 3, 2023 19:14 11m 24s
#7033 WebAssembly Build #2466: Commit a8f3396 pushed by NikolajBjorner
December 3, 2023 18:34 11m 44s master
master
December 3, 2023 18:34 11m 44s
fix build WebAssembly Build #2465: Commit 965bee5 pushed by NikolajBjorner
December 3, 2023 03:53 11m 45s master
master
December 3, 2023 03:53 11m 45s
pending files WebAssembly Build #2464: Commit 1de25ed pushed by NikolajBjorner
December 3, 2023 03:43 11m 34s master
master
December 3, 2023 03:43 11m 34s
missing header WebAssembly Build #2463: Commit b22daa9 pushed by NikolajBjorner
December 3, 2023 03:39 11m 10s master
master
December 3, 2023 03:39 11m 10s
#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