Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
909 workflow runs
909 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Centralize and document TRACE tags using X-macros WebAssembly Build #3885: Pull request #7657 synchronize by IamYJLee
May 28, 2025 00:16 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 28, 2025 00:16 Action required
add seed parameter, fix trail undo order from insertion to ensure lif… WebAssembly Build #3884: Commit d766292 pushed by NikolajBjorner
May 27, 2025 17:03 19m 34s master
master
May 27, 2025 17:03 19m 34s
Fix setup_relevancy for relevancy-dependent case split strategies (#7… WebAssembly Build #3883: Commit b44c897 pushed by NikolajBjorner
May 27, 2025 15:52 19m 29s master
master
May 27, 2025 15:52 19m 29s
Centralize and document TRACE tags using X-macros WebAssembly Build #3882: Pull request #7657 synchronize by IamYJLee
May 27, 2025 01:09 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 01:09 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3881: Pull request #7657 synchronize by IamYJLee
May 27, 2025 00:58 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 00:58 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3880: Pull request #7657 synchronize by IamYJLee
May 27, 2025 00:44 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 27, 2025 00:44 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3878: Pull request #7657 synchronize by IamYJLee
May 26, 2025 04:36 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 04:36 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3877: Pull request #7657 synchronize by IamYJLee
May 26, 2025 04:03 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 04:03 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3876: Pull request #7660 synchronize by tsnl
May 26, 2025 03:33 17m 21s tsnl:master
tsnl:master
May 26, 2025 03:33 17m 21s
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3875: Pull request #7660 synchronize by tsnl
May 26, 2025 03:32 Action required tsnl:master
tsnl:master
May 26, 2025 03:32 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3874: Pull request #7660 synchronize by tsnl
May 26, 2025 03:28 Action required tsnl:master
tsnl:master
May 26, 2025 03:28 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3873: Pull request #7660 synchronize by tsnl
May 26, 2025 03:13 Action required tsnl:master
tsnl:master
May 26, 2025 03:13 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3872: Pull request #7660 synchronize by tsnl
May 26, 2025 03:09 Action required tsnl:master
tsnl:master
May 26, 2025 03:09 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3871: Pull request #7660 synchronize by tsnl
May 26, 2025 03:07 Action required tsnl:master
tsnl:master
May 26, 2025 03:07 Action required
Bazel: expose z3_static target for working macOS, win32 builds WebAssembly Build #3870: Pull request #7660 opened by tsnl
May 26, 2025 03:04 Action required tsnl:master
tsnl:master
May 26, 2025 03:04 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3869: Pull request #7657 synchronize by IamYJLee
May 26, 2025 02:57 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 26, 2025 02:57 Action required
missing file WebAssembly Build #3868: Commit 80c553d pushed by NikolajBjorner
May 23, 2025 23:20 16m 59s master
master
May 23, 2025 23:20 16m 59s
v1 of a randomizer simplifier WebAssembly Build #3867: Commit 77fed8b pushed by NikolajBjorner
May 23, 2025 23:15 17m 10s master
master
May 23, 2025 23:15 17m 10s
for future ignoring genai files WebAssembly Build #3866: Commit 84a5303 pushed by NikolajBjorner
May 22, 2025 00:09 16m 54s master
master
May 22, 2025 00:09 16m 54s
remove quotes from arguments to TRACE WebAssembly Build #3865: Commit 805d579 pushed by NikolajBjorner
May 21, 2025 23:44 1m 12s master
master
May 21, 2025 23:44 1m 12s
Centralize and document TRACE tags using X-macros WebAssembly Build #3864: Pull request #7657 synchronize by IamYJLee
May 21, 2025 04:37 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 21, 2025 04:37 Action required
Centralize and document TRACE tags using X-macros WebAssembly Build #3863: Pull request #7657 opened by IamYJLee
May 21, 2025 02:24 Action required IamYJLee:enhancement/trace-tag-enum-doc
IamYJLee:enhancement/trace-tag-enum-doc
May 21, 2025 02:24 Action required
update add-term to avoid duplicating fresh aux-expr WebAssembly Build #3862: Commit 85e7243 pushed by NikolajBjorner
May 20, 2025 21:22 17m 6s master
master
May 20, 2025 21:22 17m 6s
Fixed UP expression registration WebAssembly Build #3861: Pull request #7656 synchronize by CEisenhofer
May 20, 2025 13:46 17m 28s CEisenhofer:master
CEisenhofer:master
May 20, 2025 13:46 17m 28s
Fixed UP expression registration WebAssembly Build #3860: Pull request #7656 opened by CEisenhofer
May 19, 2025 12:08 17m 23s CEisenhofer:master
CEisenhofer:master
May 19, 2025 12:08 17m 23s