Georg Wiese 5576180aad VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00

..

machines

VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00

affine_expression.rs

Use itertools::format.

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

column_map.rs

Include fixed columns in global constraints.

2023-10-24 18:25:41 +02:00

eval_result.rs

VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00

expression_evaluator.rs

Do not treat constants specially during parsing.

2023-10-10 16:40:41 +02:00

fixed_evaluator.rs

Use PolyID instead of PolynomialReference or usize (#460)

2023-08-07 19:16:43 +02:00

generator.rs

VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00

global_constraints.rs

Include fixed columns in global constraints.

2023-10-24 18:25:41 +02:00

identity_processor.rs

Make process_lookup receive the mutable state

2023-10-23 13:18:38 +00:00

mod.rs

VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00

processor.rs

Include fixed columns in global constraints.

2023-10-24 18:25:41 +02:00

query_processor.rs

Properly print local variables.

2023-09-29 12:36:45 +02:00

range_constraints.rs

Support ranges in range constraints.

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

rows.rs

Merge pull request #719 from powdr-labs/include_fixed_constraints

2023-10-24 17:16:51 +00:00

sequence_iterator.rs

Witgen Refactoring: Pull out wrapping handling into Generator

2023-10-10 13:36:47 +00:00

symbolic_evaluator.rs

Move analyzed ast into the ast crate.

2023-07-03 15:18:36 +02:00

symbolic_witness_evaluator.rs

Witgen Refactoring: Pull out wrapping handling into Generator

2023-10-10 13:36:47 +00:00

util.rs

Use optimize mildly to substitute constants.

2023-10-04 16:15:26 +02:00

vm_processor.rs

VmProcessor: Return on active latch

2023-10-25 15:01:51 +00:00