mirror of
https://github.com/powdr-labs/powdr.git
synced 2026-04-20 03:03:25 -04:00
This PR builds on top of #1393. It mainly modifies the grammar by changing the way SelectedExpressions are declared, to allow blocks to be empty. --------- Co-authored-by: chriseth <chris@ethereum.org>