Skip to content

fix(lstar): separate protocol rejections from internal assertions - #1180

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:fix/distinguish-rejection-from-assertion
Jul 4, 2026
Merged

fix(lstar): separate protocol rejections from internal assertions#1180
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:fix/distinguish-rejection-from-assertion

Commits

Commits on Jul 4, 2026