Skip to content

Actions: Z3Prover/z3

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,011 workflow runs
8,011 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

turn on ite simplification by default
MSVC Clang-CL Static Build #866: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 26m 56s master
March 26, 2025 18:30 26m 56s
turn on ite simplification by default
Windows #805: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 1h 2m 5s master
March 26, 2025 18:30 1h 2m 5s
turn on ite simplification by default
Android Build #2826: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 11m 34s master
March 26, 2025 18:30 11m 34s
turn on ite simplification by default
MSVC Static Build #4145: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 28m 35s master
March 26, 2025 18:30 28m 35s
turn on ite simplification by default
Pyodide Build #380: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 20m 57s master
March 26, 2025 18:30 20m 57s
turn on ite simplification by default
WebAssembly Build #3697: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 17m 22s master
March 26, 2025 18:30 17m 22s
turn on ite simplification by default
RISC V and PowerPC 64 #5084: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 21m 16s master
March 26, 2025 18:30 21m 16s
turn on ite simplification by default
Open Issues #3012: Commit e86a918 pushed by NikolajBjorner
March 26, 2025 18:30 32m 35s master
March 26, 2025 18:30 32m 35s
fix indentation
MSVC Clang-CL Static Build #865: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 27m 35s master
March 26, 2025 04:27 27m 35s
fix indentation
WebAssembly Build #3696: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 17m 17s master
March 26, 2025 04:27 17m 17s
fix indentation
MSVC Static Build #4144: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 28m 32s master
March 26, 2025 04:27 28m 32s
fix indentation
Open Issues #3011: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 32m 46s master
March 26, 2025 04:27 32m 46s
fix indentation
RISC V and PowerPC 64 #5083: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 20m 42s master
March 26, 2025 04:27 20m 42s
fix indentation
Windows #804: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 1h 2m 15s master
March 26, 2025 04:27 1h 2m 15s
fix indentation
Pyodide Build #379: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 20m 24s master
March 26, 2025 04:27 20m 24s
fix indentation
Android Build #2825: Commit 8368094 pushed by NikolajBjorner
March 26, 2025 04:27 11m 28s master
March 26, 2025 04:27 11m 28s
replace costly ite reduction by disjointnes check
WebAssembly Build #3695: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 17m 38s master
March 26, 2025 04:15 17m 38s
replace costly ite reduction by disjointnes check
Windows #803: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 58m 40s master
March 26, 2025 04:15 58m 40s
replace costly ite reduction by disjointnes check
Android Build #2824: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 11m 34s master
March 26, 2025 04:15 11m 34s
replace costly ite reduction by disjointnes check
RISC V and PowerPC 64 #5082: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 22m 42s master
March 26, 2025 04:15 22m 42s
replace costly ite reduction by disjointnes check
MSVC Clang-CL Static Build #864: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 27m 55s master
March 26, 2025 04:15 27m 55s
replace costly ite reduction by disjointnes check
MSVC Static Build #4143: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 28m 8s master
March 26, 2025 04:15 28m 8s
replace costly ite reduction by disjointnes check
Pyodide Build #378: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 20m 18s master
March 26, 2025 04:15 20m 18s
replace costly ite reduction by disjointnes check
Open Issues #3010: Commit 4fd6ba4 pushed by NikolajBjorner
March 26, 2025 04:15 33m 48s master
March 26, 2025 04:15 33m 48s
optimize bool rewriter
Android Build #2823: Commit 392bc16 pushed by NikolajBjorner
March 25, 2025 21:08 11m 21s master
March 25, 2025 21:08 11m 21s