Support for new asserting expressions#875

Merged

marcoeilers merged 4 commits intomasterfrom meilers_asserting

Nov 13, 2024

+8-1

Commits on Sep 26, 2024

asserting (a) in e
marcoeilers
committed

Commits on Sep 27, 2024

Update silver
marcoeilers
committed

Commits on Oct 4, 2024

Resetting heap instead of throwing away entire state after checking assertion
marcoeilers
committed

Commits on Nov 13, 2024

Merge
marcoeilers
committed