Skip to content

Term label cleanup: simpler framework, label-agnostic term equality - #3884

Draft
unp1 wants to merge 14 commits into
mainfrom
termlabel-cleanup
Draft

Term label cleanup: simpler framework, label-agnostic term equality#3884
unp1 wants to merge 14 commits into
mainfrom
termlabel-cleanup

Avoid rebuilding an identical term per node in SyntacticalReplaceVisitor

ae60f0a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Jul 3, 2026 in 2m 28s