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

Commits on Oct 24, 2024

fix codegen for rvalue aggregate raw pointer to an adt with slice tail
Carolyn Zech
committed
Merge branch 'main' into issue-3615
Carolyn Zech
authored

Commits on Nov 11, 2024

make slice the unconditional else case
Carolyn Zech
committed
traverse type
Carolyn Zech
committed
Merge branch 'main' into issue-3615
Carolyn Zech
authored

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