Do not require parentheses for fun/assume/assert#3378

Merged

gebner merged 8 commits intomasterfrom gebner_parens

Sep 4, 2024

+99-43

Commits on Aug 19, 2024

Do not require parens for trailing fun.

gebner
authored and
mtzguido
committed
Do not require parens in assert/assume.

gebner
authored and
mtzguido
committed

Commits on Aug 24, 2024

Merge remote-tracking branch 'origin/master' into gebner_parens
gebner
committed

Commits on Sep 4, 2024

Merge branch 'master' into gebner_parens
mtzguido
authored