Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
999 workflow runs
999 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 4 to 5 (#7773) WebAssembly Build #4120: Commit d375d97 pushed by NikolajBjorner
August 12, 2025 22:19 17m 32s master
master
August 12, 2025 22:19 17m 32s
Add .github/copilot-instructions.md with comprehensive Z3 development… WebAssembly Build #4119: Commit 6486d92 pushed by NikolajBjorner
August 12, 2025 22:18 17m 33s master
master
August 12, 2025 22:18 17m 33s
Bump actions/checkout from 4 to 5 WebAssembly Build #4116: Pull request #7773 opened by dependabot bot
August 12, 2025 07:50 17m 35s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
August 12, 2025 07:50 17m 35s
restore the square-free check WebAssembly Build #4115: Commit cf8a17a pushed by levnach
August 11, 2025 20:16 18m 10s master
master
August 11, 2025 20:16 18m 10s
remove unused square-free check WebAssembly Build #4113: Commit e33dc47 pushed by levnach
August 11, 2025 14:24 17m 42s master
master
August 11, 2025 14:24 17m 42s
Update RELEASE_NOTES.md WebAssembly Build #4112: Commit b7d5add pushed by NikolajBjorner
August 10, 2025 21:25 18m 11s master
master
August 10, 2025 21:25 18m 11s
rename add_lcs to add_lc WebAssembly Build #4110: Commit 8598a74 pushed by levnach
August 8, 2025 18:02 17m 29s master
master
August 8, 2025 18:02 17m 29s
Finest factors WebAssembly Build #4109: Pull request #7768 opened by levnach
August 8, 2025 17:44 17m 39s finest_factors
finest_factors
August 8, 2025 17:44 17m 39s
remove ref to theory_str WebAssembly Build #4108: Commit efb0bda pushed by NikolajBjorner
August 8, 2025 04:21 17m 36s master
master
August 8, 2025 04:21 17m 36s
remove automata from python build WebAssembly Build #4107: Commit baa0588 pushed by NikolajBjorner
August 8, 2025 04:07 17m 41s master
master
August 8, 2025 04:07 17m 41s
remove theory_str and classes that are only used by it WebAssembly Build #4106: Commit fcd3a70 pushed by NikolajBjorner
August 8, 2025 04:05 51s master
master
August 8, 2025 04:05 51s
avoid interferring side-effects in function calls WebAssembly Build #4101: Commit 2ac1b24 pushed by NikolajBjorner
August 7, 2025 21:40 18m 13s master
master
August 7, 2025 21:40 18m 13s
fix java build for java bindings WebAssembly Build #4100: Commit 7ba967e pushed by NikolajBjorner
August 7, 2025 21:37 17m 38s master
master
August 7, 2025 21:37 17m 38s
register on_binding attribute WebAssembly Build #4099: Commit 0cefc92 pushed by NikolajBjorner
August 7, 2025 20:46 17m 30s master
master
August 7, 2025 20:46 17m 30s
use jboolean in Native interface WebAssembly Build #4098: Commit d57dd6e pushed by NikolajBjorner
August 7, 2025 20:11 17m 40s master
master
August 7, 2025 20:11 17m 40s
add on_binding callbacks across APIs WebAssembly Build #4097: Commit fa3d341 pushed by NikolajBjorner
August 7, 2025 19:56 17m 56s master
master
August 7, 2025 19:56 17m 56s
rename a Python file WebAssembly Build #4096: Commit 30830aa pushed by levnach
August 7, 2025 15:33 18m 23s master
master
August 7, 2025 15:33 18m 23s
4015 WebAssembly Build #4095: Pull request #7761 synchronize by levnach
August 7, 2025 14:41 17m 59s 4015
4015
August 7, 2025 14:41 17m 59s
4015 WebAssembly Build #4094: Pull request #7761 opened by levnach
August 7, 2025 14:30 17m 27s 4015
4015
August 7, 2025 14:30 17m 27s
add Z3_solver_propagate_on_binding to ml callback declarations WebAssembly Build #4093: Commit 31a3037 pushed by NikolajBjorner
August 7, 2025 12:54 17m 50s master
master
August 7, 2025 12:54 17m 50s
missing new closure WebAssembly Build #4092: Commit aad511d pushed by NikolajBjorner
August 7, 2025 04:22 18m 3s master
master
August 7, 2025 04:22 18m 3s
add an option to register callback on quantifier instantiation WebAssembly Build #4091: Commit b33f444 pushed by NikolajBjorner
August 7, 2025 04:12 20s master
master
August 7, 2025 04:12 20s
fix #7603: race condition in Ctrl-C handling (#7755) WebAssembly Build #4090: Commit b1ab695 pushed by NikolajBjorner
August 6, 2025 21:27 18m 4s master
master
August 6, 2025 21:27 18m 4s
fix #7603: race condition in Ctrl-C handling WebAssembly Build #4088: Pull request #7755 synchronize by nunoplopes
August 5, 2025 18:06 18m 30s nunoplopes:signal_c
nunoplopes:signal_c
August 5, 2025 18:06 18m 30s
Add support for Algebraic Datatypes in JavaScript/TypeScript bindings… WebAssembly Build #4086: Commit 7a8ba4b pushed by NikolajBjorner
August 5, 2025 03:58 17m 45s master
master
August 5, 2025 03:58 17m 45s