Leo 78ad276ee4 Merge pull request #766 from powdr-labs/more_context_logging ...

More context for logging.

2023-11-15 12:57:56 +00:00

..

data_structures

VM-to-VM Witness Generation

2023-11-02 11:22:25 +00:00

machines

Merge pull request #740 from powdr-labs/simplify-processors

2023-11-13 11:19:43 +00:00

affine_expression.rs

Use itertools::format.

2023-09-25 16:31:17 +02:00

block_processor.rs

Merge pull request #740 from powdr-labs/simplify-processors

2023-11-13 11:19:43 +00:00

eval_result.rs

Simplify AlgebraicExpression.

2023-10-30 18:36:12 +01:00

expression_evaluator.rs

Restrict operators on AlgebraicExpression.

2023-11-01 22:40:08 +01:00

fixed_evaluator.rs

Simplify AlgebraicExpression.

2023-10-30 18:36:12 +01:00

generator.rs

Separate out Processor from BlockProcessor

2023-11-02 14:35:16 +00:00

global_constraints.rs

get degree from namespaces

2023-11-07 10:32:41 +01:00

identity_processor.rs

Simplify AlgebraicExpression.

2023-10-30 18:36:12 +01:00

mod.rs

Retain column access by name.

2023-11-14 18:35:48 +01:00

processor.rs

Simplify Processors

2023-11-02 14:38:06 +00:00

query_processor.rs

Support arrays in witgen.

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

range_constraints.rs

Support ranges in range constraints.

2023-07-11 17:19:05 +02:00

rows.rs

More context for logging.

2023-11-13 17:52:07 +01:00

sequence_iterator.rs

Fix test: two_block_machine_functions.pil

2023-11-02 14:02:41 +00:00

symbolic_evaluator.rs

Simplify AlgebraicExpression.

2023-10-30 18:36:12 +01:00

symbolic_witness_evaluator.rs

Simplify AlgebraicExpression.

2023-10-30 18:36:12 +01:00

util.rs

Support arrays in witgen.

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

vm_processor.rs

More context for logging.

2023-11-13 17:52:07 +01:00