Skip to content

Exploit proof-irrelevance when lowering - #124

Closed
mvr wants to merge 19 commits into
coln-compiler/more-ir-testsfrom
coln-compiler/lower-prop
Closed

Exploit proof-irrelevance when lowering#124
mvr wants to merge 19 commits into
coln-compiler/more-ir-testsfrom
coln-compiler/lower-prop

Update goldens

4c353fd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar