Fix issues with how we compute DST size#3687

Merged

celinval merged 11 commits intomodel-checking:mainfrom

celinval:issue-3612-can-deref-2

Nov 22, 2024

Commits on Nov 6, 2024

Fix issues with how we compute DST size
celinval
committed

Commits on Nov 12, 2024

Merge branch 'main' into issue-3612-can-deref-2
celinval
committed

Commits on Nov 18, 2024

Commits on Nov 22, 2024

Apply suggestions from code review

celinval
and
Carolyn Zech
authored
Update library/kani_core/src/models.rs
celinval
authored
Add more comments and split test
celinval
committed