pure: harden simplify_let_branching against hoisting branch-local variables - #26

Open

karthikbhargavan wants to merge 6 commits into

devfrom

fix/let-branching-bound-fvars

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

pure: harden simplify_let_branching against hoisting branch-local variables

karthikbhargavan
and
claude
committed
fa3c3fd