interp: fix inverted can_end guard in eliminate_shared_loans - #27

Open

karthikbhargavan wants to merge 6 commits into

devfrom

fix/eliminate-shared-loans-guard

Commits on Jul 16, 2026

Core models option (#2)

maximebuyse
and
abentkamp
committed
5de5428
Core models option update (#6)

maximebuyse
and
abentkamp
committed
c7f6334
ci: do not use self-hosted runner on forks (#17)
abentkamp
committed
09ccdfc
Partial spec lemmas + some library application (#4)
abentkamp
committed
9f5df8b
feat(lean): specs and proof obligations from `hax_lib` annotations (#7)

clementblaudeau
and
abentkamp
committed
52fd438

Commits on Jul 25, 2026

interp: fix inverted can_end guard in eliminate_shared_loans

karthikbhargavan
and
claude
committed
03471aa