Explicit Unsized Metadata & Unified DST Handling#259

Merged

protz merged 44 commits intoAeneasVerif:mainfrom

ssyram:c-better-unsize

Oct 27, 2025

Commits on Aug 9, 2025

Commits on Aug 13, 2025

Commits on Aug 14, 2025

Commits on Aug 19, 2025

Merge branch 'main' of github.com:AeneasVerif/eurydice into c-better-unsize
Lin23299
committed
added [remove_unused_builtin] in PreCleanup to remove the funcs written in abstract syntax when they are not needed
Lin23299
committed

Commits on Aug 20, 2025

Commits on Aug 21, 2025

removed dst_def, cleanup and special treatment of dst fields
Lin23299
committed

Commits on Aug 25, 2025

removed special case for non-dst field, leaving the [slice_of_dst] case
Lin23299
committed

Commits on Aug 27, 2025

Commits on Aug 28, 2025

Commits on Aug 29, 2025

Commits on Sep 2, 2025

Commits on Sep 3, 2025

Commits on Sep 4, 2025

Commits on Sep 18, 2025

Merge branch 'main' of github.com:AeneasVerif/eurydice into c-better-unsize
Lin23299
committed

Commits on Oct 2, 2025

Merge remote-tracking branch 'upstream/main' into c-better-unsize
ssyram
committed

Commits on Oct 8, 2025

Merge branch 'main' of https://github.com/AeneasVerif/eurydice into c-better-unsize
Lin23299
committed

Commits on Oct 27, 2025