Layout guarantee information draft#1325

Draft

firefighterduck wants to merge 10 commits into

AeneasVerif:mainfrom

firefighterduck:symbolic_layout

Commits on Jul 10, 2026

add first draft of symbolic layouts
firefighterduck
committed

Commits on Jul 13, 2026

implement full layout guarantee computation for many cases
firefighterduck
committed

Commits on Jul 14, 2026

add target alignment information
firefighterduck
committed
decouple layout guarantee computation from hax::FullDef and make layout guarantees fully target-agnostic
firefighterduck
committed
remove layout guarantee memoization
firefighterduck
committed

Commits on Jul 15, 2026

Commits on Jul 21, 2026