Skip to content

Improving forward generation by "inlining" -- experiments and design doc - #58

Open
mwhicks1 wants to merge 3 commits into
mainfrom
pr-inlining-1-design
Open

Improving forward generation by "inlining" -- experiments and design doc#58
mwhicks1 wants to merge 3 commits into
mainfrom
pr-inlining-1-design

Step-inlining: design doc and hand-written experiments

be2e720
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jul 24, 2026 in 14s

No new alerts in code changed by this pull request

View all branch alerts.