Skip to content

Lift unlabeled block expressions emitted by Python-to-Laurel - #1133

Closed
tautschnig wants to merge 6 commits into
mainfrom
tautschnig/lift-block
Closed

Lift unlabeled block expressions emitted by Python-to-Laurel#1133
tautschnig wants to merge 6 commits into
mainfrom
tautschnig/lift-block

Lift asserts/assumes in transformExpr (PR #1133 follow-up)

ad373f9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded May 19, 2026 in 46s