chriseth 56448b0c1e Merge pull request #539 from powdr-labs/eval_left_only ...

Evaluate only left side of multiplication if it is zero.

2023-08-31 10:13:14 +02:00

..

constant_evaluator

Star operator: expand to arbitrary size #402

2023-07-17 20:21:50 +02:00

witgen

Merge pull request #539 from powdr-labs/eval_left_only

2023-08-31 10:13:14 +02:00

lib.rs

Move json exporter.

2023-04-25 15:01:37 +02:00