Skip to content

Add Halt/Revert/Error lemmas for transform_block

18975cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add ASSIGN elimination pass correctness proof #19

Add Halt/Revert/Error lemmas for transform_block
18975cf
Select commit
Loading
Failed to load commit list.
build
succeeded Dec 12, 2025 in 13m 2s