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

fix(lstar): separate protocol rejections from internal assertions

1ebdac4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings
Dead code detection
succeeded Jul 4, 2026 in 2m 44s