Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add missing new_value_eh when repaired up WebAssembly Build #3293: Commit aed3279 pushed by NikolajBjorner
November 25, 2024 03:57 13m 12s master
master
November 25, 2024 03:57 13m 12s
add missing new_value_eh when repaired up WebAssembly Build #3292: Commit 1e839e5 pushed by NikolajBjorner
November 25, 2024 03:42 13m 26s master
master
November 25, 2024 03:42 13m 26s
add comments WebAssembly Build #3291: Commit 7ed185a pushed by NikolajBjorner
November 25, 2024 03:09 13m 45s master
master
November 25, 2024 03:09 13m 45s
add local search functionality to sls_seq_plugin WebAssembly Build #3290: Commit 4559b23 pushed by NikolajBjorner
November 24, 2024 19:24 14m 7s master
master
November 24, 2024 19:24 14m 7s
add rewrites for hoisting constants from ite expressions WebAssembly Build #3289: Pull request #7462 synchronize by NikolajBjorner
November 23, 2024 00:56 12m 58s rewrite-ite-arith
rewrite-ite-arith
November 23, 2024 00:56 12m 58s
add rewrites for hoisting constants from ite expressions WebAssembly Build #3288: Pull request #7462 synchronize by NikolajBjorner
November 22, 2024 22:56 13m 5s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 22:56 13m 5s
add rewrites for hoisting constants from ite expressions WebAssembly Build #3287: Pull request #7462 opened by NikolajBjorner
November 22, 2024 21:59 13m 13s rewrite-ite-arith
rewrite-ite-arith
November 22, 2024 21:59 13m 13s
adding plugin for local search strings WebAssembly Build #3286: Commit b4e768c pushed by NikolajBjorner
November 22, 2024 21:56 13m 7s master
master
November 22, 2024 21:56 13m 7s
fix typos POLING -> POLLING in setup.py and remove unused CFLAGS WebAssembly Build #3285: Commit 3672575 pushed by NikolajBjorner
November 21, 2024 19:32 13m 7s master
master
November 21, 2024 19:32 13m 7s
#7418 - circumvent use of timer threads to make WASM integration of z… WebAssembly Build #3284: Commit 71bad71 pushed by NikolajBjorner
November 21, 2024 19:20 13m 9s master
master
November 21, 2024 19:20 13m 9s
remove the use-pthread WebAssembly Build #3283: Commit 94f0aff pushed by NikolajBjorner
November 20, 2024 03:55 13m 17s master
master
November 20, 2024 03:55 13m 17s
remove -pthread from options WebAssembly Build #3282: Commit 76795a4 pushed by NikolajBjorner
November 20, 2024 03:50 13m 15s master
master
November 20, 2024 03:50 13m 15s
fix type in setup.py WebAssembly Build #3281: Commit 8965123 pushed by NikolajBjorner
November 20, 2024 03:08 13m 10s master
master
November 20, 2024 03:08 13m 10s
adapt for pyodide built WebAssembly Build #3280: Commit 10d9c81 pushed by NikolajBjorner
November 20, 2024 02:51 13m 38s master
master
November 20, 2024 02:51 13m 38s
more detailed tracing of where unmaterialized exceptions happen WebAssembly Build #3279: Commit 012fc1b pushed by NikolajBjorner
November 20, 2024 02:15 13m 13s master
master
November 20, 2024 02:15 13m 13s
Update pyodide.yml WebAssembly Build #3278: Commit 7de0c29 pushed by NikolajBjorner
November 19, 2024 20:58 13m 20s master
master
November 19, 2024 20:58 13m 20s
add exception handling to easier diagnose #7418 WebAssembly Build #3277: Commit e855a50 pushed by NikolajBjorner
November 19, 2024 19:46 13m 35s master
master
November 19, 2024 19:46 13m 35s
track exceptions in reason-unknown WebAssembly Build #3276: Commit 5168a13 pushed by NikolajBjorner
November 19, 2024 17:29 13m 34s master
master
November 19, 2024 17:29 13m 34s
Update README.md WebAssembly Build #3275: Commit a8a5069 pushed by NikolajBjorner
November 18, 2024 21:29 13m 38s master
master
November 18, 2024 21:29 13m 38s
add picture of z3guide WebAssembly Build #3274: Commit 15f954e pushed by NikolajBjorner
November 18, 2024 21:21 13m 13s master
master
November 18, 2024 21:21 13m 13s
Update README.md WebAssembly Build #3273: Commit 24dfc17 pushed by NikolajBjorner
November 18, 2024 19:54 13m 12s master
master
November 18, 2024 19:54 13m 12s
SLS: log clause , allow more frequent export of SLS state to SMT WebAssembly Build #3272: Commit 4b72e51 pushed by NikolajBjorner
November 18, 2024 04:13 12m 58s master
master
November 18, 2024 04:13 12m 58s
bug fixes to sls WebAssembly Build #3271: Commit c7ea496 pushed by NikolajBjorner
November 17, 2024 21:07 13m 19s master
master
November 17, 2024 21:07 13m 19s
Update README.md WebAssembly Build #3270: Commit e380903 pushed by NikolajBjorner
November 17, 2024 03:20 12m 58s master
master
November 17, 2024 03:20 12m 58s
fix #7454 WebAssembly Build #3269: Commit 2310514 pushed by NikolajBjorner
November 17, 2024 02:20 13m 13s master
master
November 17, 2024 02:20 13m 13s