Skip to content

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

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

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

chore(interpret): port the riscv monotonicity proofs to the new `Interp`

ff14116
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar