Improving error localization in Pulse#4247

Merged

mtzguido merged 17 commits into

May 16, 2026

Commits on May 1, 2026

Pulse: fix error localization for if-branch postcondition mismatches

nikswamy
and
Copilot
committed
Add Pulse error message localization benchmark suite

nikswamy
and
Copilot
committed

Commits on May 5, 2026

Merge remote-tracking branch 'origin/master' into _nik_err_loc
nikswamy
committed
Pulse: make prover atom equivalence check eager when uvar-free

nikswamy
and
Copilot
committed

Commits on May 15, 2026

Commits on May 16, 2026

Merge branch 'master' into _nik_err_loc
mtzguido
authored