Georg Wiese 9483a26f41 Block machine: report side effect (fixes TODO) (#1563) ...

Since #1385 is resolved, we can fix this TODO.

2024-07-17 09:51:10 +00:00

..

constant_evaluator

Do not add a constraint for the empty tuple. (#1568)

2024-07-12 19:04:53 +00:00

witgen

Block machine: report side effect (fixes TODO) (#1563)

2024-07-17 09:51:10 +00:00

lib.rs

Allow blocks to be empty (#1435)

2024-07-01 15:05:32 +00:00