WIP Syntactic simplifications#4022

Draft

geo2a wants to merge 16 commits intomasterfrom

4579-syntactic-simplifications

Commits on Sep 2, 2024

Commits on Sep 3, 2024

add more logging
goodlyrottenapple
committed
make checkConcreteness less strict to accomodate for initially missing variables that only appear in the requires clause with syntactic
goodlyrottenapple
committed

Commits on Sep 9, 2024

Commits on Sep 15, 2024

Merge branch 'master' into 4579-syntactic-simplifications
PetarMax
authored