fix(engine) Fix crash with `hax_lib::fstar::before` in recursive bundles#1179

Closed

maximebuyse wants to merge 3 commits intomainfrom fix-1177

+11-1

Commits on Dec 10, 2024

Change name of quoted items to prevent them from colliding with the orginal item in rec bundles hashmap.
maximebuyse
committed

Commits on Jan 16, 2025

Merge branch 'main' into fix-1177
franziskuskiefer
authored

Commits on Jan 20, 2025

Merge branch 'main' into fix-1177
W95Psp
authored