Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare release script WebAssembly Build #2393: Commit 7ed27a1 pushed by NikolajBjorner
November 14, 2023 16:48 11m 19s master
master
November 14, 2023 16:48 11m 19s
fix #6978 WebAssembly Build #2392: Commit ad2107f pushed by NikolajBjorner
November 14, 2023 16:45 11m 14s master
master
November 14, 2023 16:45 11m 14s
fix #6984 WebAssembly Build #2391: Commit 4406011 pushed by NikolajBjorner
November 14, 2023 15:40 11m 10s master
master
November 14, 2023 15:40 11m 10s
fix #6988 WebAssembly Build #2390: Commit 3c2e97d pushed by NikolajBjorner
November 14, 2023 15:30 12m 3s master
master
November 14, 2023 15:30 12m 3s
#6523 WebAssembly Build #2389: Commit c2610cb pushed by NikolajBjorner
November 13, 2023 22:32 11m 28s master
master
November 13, 2023 22:32 11m 28s
#6523 WebAssembly Build #2388: Commit 8a4e857 pushed by NikolajBjorner
November 13, 2023 22:28 11m 27s master
master
November 13, 2023 22:28 11m 27s
fix bug in bound simplification in Gomory for mixed integer linear cu… WebAssembly Build #2387: Commit 3de5af3 pushed by NikolajBjorner
November 10, 2023 15:39 11m 27s master
master
November 10, 2023 15:39 11m 27s
fixed possible undefined variable assigment (#6985) WebAssembly Build #2386: Commit aa9c791 pushed by NikolajBjorner
November 10, 2023 10:36 17m 24s master
master
November 10, 2023 10:36 17m 24s
change to expr_ref to allow trying simplification WebAssembly Build #2385: Commit 0556059 pushed by NikolajBjorner
November 8, 2023 12:50 11m 27s master
master
November 8, 2023 12:50 11m 27s
fix #6986 WebAssembly Build #2384: Commit bd4d580 pushed by NikolajBjorner
November 8, 2023 12:49 15m 1s master
master
November 8, 2023 12:49 15m 1s
disable bound validation in debug mode WebAssembly Build #2383: Commit e6385f8 pushed by NikolajBjorner
November 7, 2023 19:49 11m 31s master
master
November 7, 2023 19:49 11m 31s
Gomory cut / branch and bound improvements WebAssembly Build #2382: Commit 3d99ed9 pushed by NikolajBjorner
November 7, 2023 18:59 11m 21s master
master
November 7, 2023 18:59 11m 21s
remove some warnings with clang WebAssembly Build #2380: Commit 14312ef pushed by levnach
November 2, 2023 22:35 14m 42s master
master
November 2, 2023 22:35 14m 42s
simplify the jump on entering WebAssembly Build #2379: Commit 08d3a82 pushed by levnach
November 2, 2023 18:09 14m 53s master
master
November 2, 2023 18:09 14m 53s
remove an assert WebAssembly Build #2378: Commit bdf1fcf pushed by levnach
November 2, 2023 16:59 11m 20s master
master
November 2, 2023 16:59 11m 20s
add changes in lp with validate_bound and maximize_term WebAssembly Build #2377: Pull request #6980 synchronize by levnach
November 2, 2023 14:15 15m 18s lp_changes
lp_changes
November 2, 2023 14:15 15m 18s
WARNINGS_AS_ERRORS is ON/OFF, not TRUE/FALSE (#6979) WebAssembly Build #2376: Commit ebd4d1a pushed by NikolajBjorner
November 2, 2023 09:58 11m 41s master
master
November 2, 2023 09:58 11m 41s
add changes in lp with validate_bound and maximize_term WebAssembly Build #2375: Pull request #6980 opened by levnach
November 2, 2023 00:16 21m 24s lp_changes
lp_changes
November 2, 2023 00:16 21m 24s
WARNINGS_AS_ERRORS is ON/OFF, not TRUE/FALSE WebAssembly Build #2374: Pull request #6979 opened by AE1020
November 1, 2023 21:12 17m 32s AE1020:warnings-as-errors-on-off
AE1020:warnings-as-errors-on-off
November 1, 2023 21:12 17m 32s
remove temporary algebraic numbers from upper layers, move to owner m… WebAssembly Build #2373: Commit 49a0719 pushed by NikolajBjorner
November 1, 2023 10:52 15m 17s master
master
November 1, 2023 10:52 15m 17s
#6971 WebAssembly Build #2372: Commit ea915e5 pushed by NikolajBjorner
November 1, 2023 10:36 17m 46s master
master
November 1, 2023 10:36 17m 46s
Add Z3_solver_interrupt to OCaml API (#6976) WebAssembly Build #2371: Commit 3af2b36 pushed by NikolajBjorner
October 31, 2023 15:48 21m 21s master
master
October 31, 2023 15:48 21m 21s
just use std::string WebAssembly Build #2369: Commit 91c2139 pushed by NikolajBjorner
October 31, 2023 00:56 14m 32s master
master
October 31, 2023 00:56 14m 32s
#6951, fix build WebAssembly Build #2368: Commit fe6f38a pushed by NikolajBjorner
October 30, 2023 22:32 15m 10s master
master
October 30, 2023 22:32 15m 10s
Fixed parsing of | and \ (#6975) WebAssembly Build #2367: Commit 996b844 pushed by NikolajBjorner
October 30, 2023 19:30 25m 27s master
master
October 30, 2023 19:30 25m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-10-30 or the other filters available.