Skip to content

feat(interpret): prove interpretOp' monotone for the riscv dialect#1069

Open
tobiasgrosser wants to merge 3 commits into
mainfrom
tobias/riscv-interpret-monotone
Open

feat(interpret): prove interpretOp' monotone for the riscv dialect#1069
tobiasgrosser wants to merge 3 commits into
mainfrom
tobias/riscv-interpret-monotone

Commits

Commits on Jul 12, 2026