Improve CFL Field Sensitivity#847

Open

fabianbs96 wants to merge 15 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-ImproveCFLFieldSens

Commits on Jun 12, 2026

Fix AccessPath comparison + some AI generated improvements in store EF
fabianbs96
committed

Commits on Jun 15, 2026

Commits on Jun 16, 2026

Internal interning of CFL edge functions to make all EdgeFunction<l_t> instances SOO. Also makes comparisons within the solver O(1)
fabianbs96
committed
small adjustments
fabianbs96
committed
Replace ad-hoc intrumentation with PAMM
fabianbs96
committed

Commits on Jun 24, 2026