Supporting vtables for closures#872

Open

ssyram wants to merge 27 commits intoAeneasVerif:mainfrom

ssyram:vtable-closure

Commits on Oct 22, 2025

initial vtable support for closures

ssyram
authored and
Sam-Ni
committed
minor: cargo fmt
Sam-Ni
committed

Commits on Oct 27, 2025

remove expect_dead_code on translate_item_no_enqueue
Sam-Ni
committed

Commits on Nov 4, 2025

Commits on Nov 6, 2025

Commits on Nov 7, 2025

Commits on Nov 10, 2025

Commits on Nov 18, 2025

Merge remote-tracking branch 'upstream/main' into vtable-closure
Sam-Ni
committed

Commits on Dec 2, 2025

Commits on Dec 5, 2025

Merge branch 'main' of github.com:AeneasVerif/charon into vtable-closure
Sam-Ni
committed

Commits on Dec 16, 2025