chriseth 66cf2364f6 Merge pull request #761 from powdr-labs/complete_evaluator ...

Evaluate complex expressions including recursion and lambda functions

2023-11-24 16:00:32 +00:00

..

lib.rs

Evaluate complex expressions.

2023-11-24 16:00:23 +01:00

util.rs

Support arrays in witgen.

2023-11-08 21:31:49 +01:00

verify.rs

Write-Once Memory

2023-11-24 16:13:56 +01:00