Georg Wiese b84a66a5ee Make query callback Fn instead of FnMut 🎉

2024-01-16 15:28:47 +01:00

..

data_structures

VM-to-VM Witness Generation

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

machines

Merge pull request #893 from powdr-labs/bootloader-write2

2024-01-11 18:37:52 +00:00

affine_expression.rs

Use itertools::format.

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

block_processor.rs

Pipeline

2023-12-07 22:12:29 +01:00

eval_result.rs

Allow prover query to return error.

2023-11-24 14:39:51 +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

Improve witness generation logging

2024-01-11 14:21:27 +01:00

global_constraints.rs

get degree from namespaces

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

identity_processor.rs

Witness generation profiling #871

2024-01-04 14:50:43 +01:00

mod.rs

Make query callback Fn instead of FnMut 🎉

2024-01-16 15:28:47 +01:00

processor.rs

Use Processor by VmProcessor

2023-12-06 13:27:20 +01:00

query_processor.rs

Replace Mapping enum alternative by Expression.

2023-11-24 17:57:41 +01:00

range_constraints.rs

Support ranges in range constraints.

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

rows.rs

Evaluate complex expressions.

2023-11-24 16:00:23 +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

Improve witness generation logging

2024-01-11 14:21:27 +01:00