Skip to content

Merge remote-tracking branch 'upstream/master' into kevm-lemmas-booster

7bc52dd
Select commit
Loading
Failed to load commit list.
Draft

lemmas: booster-only gap fixes — widthOpCode, int/bytes simplifications, preserves-definedness #2849

Merge remote-tracking branch 'upstream/master' into kevm-lemmas-booster
7bc52dd
Select commit
Loading
Failed to load commit list.