Migrating to Monomorphised LLBC#275

Draft

Lin23299 wants to merge 28 commits intoAeneasVerif:mainfrom

Commits on Sep 5, 2025

first petch to eliminate [core::option]
Lin23299
committed

Commits on Sep 10, 2025

Commits on Sep 11, 2025

Commits on Sep 12, 2025

Commits on Sep 15, 2025

Commits on Sep 16, 2025

Commits on Sep 17, 2025

apply [remove_empty_struct] on the [lid_full_generic], ignored [pass_by_ref] for nested_from_fn for now
Lin23299
committed
minor: recorded different name for partial_eq
Lin23299
committed

Commits on Sep 26, 2025

Commits on Sep 30, 2025

fix undefined static inline in where_clauses_closures and where-clauses_simple
Lin23299
committed

Commits on Oct 14, 2025

Merge branch 'main' of https://github.com/AeneasVerif/eurydice into mono
Lin23299
committed

Commits on Oct 17, 2025

Merge branch 'AeneasVerif:main' into mono
Lin23299
authored

Commits on Oct 21, 2025

Commits on Oct 22, 2025

Merge branch 'AeneasVerif:main' into mono
Lin23299
authored

Commits on Oct 23, 2025

Fix cremepat
KelvinMYYZJ
committed

Commits on Oct 24, 2025

Commits on Oct 27, 2025

Merge branch 'resugar_dev' into mono
KelvinMYYZJ
committed