Georg Wiese 8a3e33e07c Add a simpler ExpressionEvaluator (#2194) ...

This PR:
- Renames the current `executor::witgen::ExpressionEvaluator` to
`executor::witgen::evaluators::partial_expression_evaluator::PartialExpressionEvaluator`
- It is used when solving and evaluates to a
`AffineResult<AlgebraicVariable<'a>, T>`, which might still contain
unknown variables.
- Adds a new `ExpressionEvaluator` that simply evaluates to `T`
- Changes `MockBackend` to use the new `ExpressionEvaluator` (previously
wrapped what is now called the `PartialExpressionEvaluator`)

As a result, the code in `MockBackend` can be simplified. Also, I'm
building on this in #2191 for fast witness generation for the bus.

2024-12-09 11:33:42 +00:00

..

src

Add a simpler ExpressionEvaluator (#2194)

2024-12-09 11:33:42 +00:00

Cargo.toml

Introduce workspace-level lints (#2166)

2024-11-29 14:02:53 +00:00