Fix codegen for rvalue aggregate raw pointer to an adt with slice tail#3644

Merged

celinval merged 7 commits intomodel-checking:mainfrom carolynzech:issue-3615

Nov 15, 2024

+283-20

Commits on Oct 24, 2024

Commits on Nov 11, 2024

Commits on Nov 14, 2024

Fix aggregate and add new abi module
celinval
committed

Commits on Nov 15, 2024

Apply suggestions from code review

celinval
and
qinheping
authored