Skip to content
WebAssembly Build

add rewrites for hoisting constants from ite expressions #3288

Sign in to view logs

add rewrites for hoisting constants from ite expressions

add rewrites for hoisting constants from ite expressions #3288

Triggered via pull request November 22, 2024 22:56
@NikolajBjornerNikolajBjorner
synchronize #7462
rewrite-ite-arith
Status Success
Total duration 13m 5s
Artifacts –

wasm.yml

on: pull_request
Check
12m 54s
Check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check
No cached files found at path "/home/runner/work/z3/z3/emsdk-cache" - downloading and caching emsdk.