Skip to content

Don't add names that are bound in only one branch of an undecidable if - #64

Merged
hakancelikdev merged 2 commits into
claude/issuelari-gorme-fpbbfdfrom
fix/conditional-names
Sep 25, 2026
Merged

Don't add names that are bound in only one branch of an undecidable if#64
hakancelikdev merged 2 commits into
claude/issuelari-gorme-fpbbfdfrom
fix/conditional-names

Merge remote-tracking branch 'origin/claude/issuelari-gorme-fpbbfd' i…

6c5aa43
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar