Skip to content

Warn when ana.opt.hashcons is disabled but implicitly overridden, fail for Apron#1921

Open
Copilot wants to merge 10 commits intomasterfrom
copilot/warn-on-hashconsing-issues
Open

Warn when ana.opt.hashcons is disabled but implicitly overridden, fail for Apron#1921
Copilot wants to merge 10 commits intomasterfrom
copilot/warn-on-hashconsing-issues

Commits

Commits on Jan 20, 2026

Commits on Mar 6, 2026