Skip to content

Actions: Z3Prover/z3

Actions

WebAssembly Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
518 workflow run results
518 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add API to access symbols associated with quantifiers WebAssembly Build #2418: Commit 9382b96 pushed by NikolajBjorner
November 20, 2023 00:30 11m 20s master
master
November 20, 2023 00:30 11m 20s
fix crash when api_solver sets reset_tracked_assertions WebAssembly Build #2417: Commit d272acc pushed by NikolajBjorner
November 19, 2023 20:49 11m 19s master
master
November 19, 2023 20:49 11m 19s
remove unused code WebAssembly Build #2416: Commit ac105b7 pushed by NikolajBjorner
November 19, 2023 19:47 11m 22s master
master
November 19, 2023 19:47 11m 22s
check cancel flag to avoid unsound conflicts WebAssembly Build #2415: Commit 4350bd7 pushed by NikolajBjorner
November 19, 2023 19:45 11m 15s master
master
November 19, 2023 19:45 11m 15s
test-java WebAssembly Build #2414: Pull request #7002 synchronize by NikolajBjorner
November 19, 2023 18:55 11m 21s testjava
testjava
November 19, 2023 18:55 11m 21s
#7001 - align is_numeral without to behavior if is_numeral with retur… WebAssembly Build #2413: Commit 32f8705 pushed by NikolajBjorner
November 19, 2023 18:43 11m 13s master
master
November 19, 2023 18:43 11m 13s
#7003 WebAssembly Build #2412: Commit 35bc522 pushed by NikolajBjorner
November 19, 2023 17:59 10m 47s master
master
November 19, 2023 17:59 10m 47s
add logging WebAssembly Build #2411: Commit 924c296 pushed by NikolajBjorner
November 19, 2023 17:33 11m 19s master
master
November 19, 2023 17:33 11m 19s
build fixes WebAssembly Build #2410: Commit a9f9d3d pushed by NikolajBjorner
November 17, 2023 18:15 11m 17s master
master
November 17, 2023 18:15 11m 17s
#6999 deal with implicit assumptions, more robust pattern matching WebAssembly Build #2409: Commit b9455c3 pushed by NikolajBjorner
November 17, 2023 18:06 4m 38s master
master
November 17, 2023 18:06 4m 38s
build issue WebAssembly Build #2408: Commit 6d6d6b8 pushed by NikolajBjorner
November 17, 2023 17:20 11m 25s master
master
November 17, 2023 17:20 11m 25s
Qel fixes (#6999) WebAssembly Build #2407: Commit f94a475 pushed by NikolajBjorner
November 17, 2023 17:18 11m 24s master
master
November 17, 2023 17:18 11m 24s
test-java WebAssembly Build #2406: Pull request #7002 opened by NikolajBjorner
November 17, 2023 17:17 11m 24s testjava
testjava
November 17, 2023 17:17 11m 24s
fix #6996 WebAssembly Build #2405: Commit 1b6c7d6 pushed by NikolajBjorner
November 17, 2023 02:58 11m 11s master
master
November 17, 2023 02:58 11m 11s
Fix memory and concurrency issues in OCaml API (#6992) WebAssembly Build #2404: Commit 36382cc pushed by NikolajBjorner
November 17, 2023 02:28 11m 11s master
master
November 17, 2023 02:28 11m 11s
fix #6997 WebAssembly Build #2401: Commit 5b9fdcf pushed by NikolajBjorner
November 16, 2023 02:08 11m 14s master
master
November 16, 2023 02:08 11m 14s
add comment regarding usage model for flush_objects() to relate with … WebAssembly Build #2400: Commit f1a39b8 pushed by NikolajBjorner
November 15, 2023 19:55 11m 22s master
master
November 15, 2023 19:55 11m 22s
Revert unsound NaN constraints in theory_fpa (#6993) WebAssembly Build #2399: Commit 3baaba5 pushed by NikolajBjorner
November 14, 2023 22:28 11m 25s master
master
November 14, 2023 22:28 11m 25s
pip install importlib resources WebAssembly Build #2396: Commit c0ee4e9 pushed by NikolajBjorner
November 14, 2023 18:02 11m 25s master
master
November 14, 2023 18:02 11m 25s
pip install importlib resources WebAssembly Build #2395: Commit 1ce95d3 pushed by NikolajBjorner
November 14, 2023 18:01 11m 31s master
master
November 14, 2023 18:01 11m 31s
use python3 in nightly WebAssembly Build #2394: Commit 37b283f pushed by NikolajBjorner
November 14, 2023 16:54 11m 34s master
master
November 14, 2023 16:54 11m 34s
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