Checking only read permissions when asserting function preconditions#816

Merged

marcoeilers merged 16 commits into

meilers_assert_read_only

Dec 19, 2024

Commits on Oct 15, 2024

Also test all important scenarios for predicates, make sure non-aliasing is still assumed outside functions
marcoeilers
committed
Add option to enable old behavior (respect function pre permission amounts)
marcoeilers
committed

Commits on Dec 1, 2024

Merge branch 'master' into meilers_assert_read_only
marcoeilers
committed
Moved warnings for ignored permission amounts from consistency checks to type checker
marcoeilers
committed

Commits on Dec 18, 2024

⚡