Skip to content

refactor!: bottom-up Maybe-based rewrite driver with a precise change flag - #155

Merged
Unisay merged 2 commits into
mainfrom
issue-145/bottom-up-rewrite-driver
Jul 4, 2026
Merged

refactor!: bottom-up Maybe-based rewrite driver with a precise change flag#155
Unisay merged 2 commits into
mainfrom
issue-145/bottom-up-rewrite-driver

fix: decline self-referential local inlining instead of looping

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

Annotations

2 warnings
format
succeeded Jul 4, 2026 in 32s