Optionally skip re-verification of well-definedness#700

Open

marcoeilers wants to merge 4 commits intomasterfrom

meilers_assume_welldefinedness

Commits on Apr 2, 2023

Adding flags to skip well-definedness (and correctness) checks when it's sound to do so
marcoeilers
committed

Commits on Apr 3, 2023

Add flag to turn off re-verifying well-definedness
marcoeilers
committed

Commits on Apr 17, 2023

Merge branch 'master' into meilers_assume_welldefinedness
marcoeilers
committed

Commits on Apr 18, 2023

Fixed merge, removed incorrect assume
marcoeilers
committed