Separating definitions and other assumptions to fix a wand-related unsoundness#757

Merged

marcoeilers merged 7 commits into

meilers_wand_fix_attempt

Oct 16, 2023

Commits on Oct 7, 2023

Attempting to replace the current wand path condition workaround with something cleaner
marcoeilers
committed

Commits on Oct 10, 2023

Commits on Oct 13, 2023

Separating global and non-global defining assumptions
marcoeilers
committed
Fixed definitionsOnly implementation for non-global definitions
marcoeilers
committed

Commits on Oct 16, 2023

Merge branch 'master' into meilers_wand_fix_attempt
marcoeilers
committed

⚡