Georg Wiese
|
eee5d8d9cc
|
Change log level of transposing logs
|
2023-11-01 13:55:40 +00:00 |
|
Georg Wiese
|
72210fc0c6
|
Merge pull request #736 from powdr-labs/rename-block-processor
(1) Rename `Processor` -> `BlockProcessor`
|
2023-11-01 11:27:11 +00:00 |
|
Georg Wiese
|
3ded00ea2c
|
Rename Processor -> BlockProcessor
|
2023-11-01 10:05:29 +00:00 |
|
Georg Wiese
|
f26a161ae3
|
Add SplitBN254 machine, use queries in SplitGL machine
|
2023-10-31 18:27:19 +00:00 |
|
Georg Wiese
|
88c578a22c
|
Merge pull request #729 from powdr-labs/simplify_algebraic_expression
Simplify algebraic expression
|
2023-10-31 13:35:41 +00:00 |
|
chriseth
|
3429b8cf33
|
Simplify AlgebraicExpression.
|
2023-10-30 18:36:12 +01:00 |
|
chriseth
|
5ddf05ca95
|
Use expression_for_poly_id.
|
2023-10-30 18:33:32 +01:00 |
|
chriseth
|
0f3517386a
|
Merge pull request #692 from powdr-labs/algebraic_expression
Algebraic expression
|
2023-10-30 16:03:25 +00:00 |
|
chriseth
|
960ed7c572
|
Introduce AlgebraicExpression.
|
2023-10-30 16:16:42 +01:00 |
|
Georg Wiese
|
2c699ce6a1
|
Improve witgen memory consumption by introducing FinalizableData
|
2023-10-30 12:27:55 +00:00 |
|
Georg Wiese
|
263d345903
|
Merge pull request #728 from powdr-labs/no_intermediates_in_eval
Do not allow reference to intermediate columns for fixed evaluation.
|
2023-10-27 10:30:40 +00:00 |
|
Georg Wiese
|
bae8c4f60c
|
Merge pull request #714 from powdr-labs/block-machine-queries
Block machine queries
|
2023-10-26 17:25:09 +00:00 |
|
Georg Wiese
|
5345624947
|
Block machine queries
|
2023-10-26 16:37:36 +00:00 |
|
chriseth
|
f80e510b95
|
Do not allow reference to intermediate columns for fixed evaluation.
|
2023-10-26 15:48:18 +02:00 |
|
chriseth
|
86083d26a9
|
Extend panic message
|
2023-10-26 15:08:19 +02:00 |
|
chriseth
|
a77bc7e452
|
Merge pull request #720 from powdr-labs/use_fixed_constraints
Use fixed constraints
|
2023-10-26 09:51:50 +00:00 |
|
Georg Wiese
|
c1d6d04b4e
|
Fix test by giving FixedLookup access to RowPair
|
2023-10-25 16:22:33 +00:00 |
|
Georg Wiese
|
5576180aad
|
VmProcessor: Return on active latch
|
2023-10-25 15:01:51 +00:00 |
|
chriseth
|
4beb28280c
|
Use global constraints in fixed lookup.
|
2023-10-25 13:16:52 +00:00 |
|
chriseth
|
bdc6a558b8
|
Merge pull request #719 from powdr-labs/include_fixed_constraints
Include fixed columns in global constraints.
|
2023-10-24 17:16:51 +00:00 |
|
chriseth
|
bfd4a935d4
|
Include fixed columns in global constraints.
|
2023-10-24 18:25:41 +02:00 |
|
chriseth
|
1ea9d818e1
|
Maybe improve logging
|
2023-10-24 15:15:49 +02:00 |
|
Georg Wiese
|
88858fe626
|
Merge pull request #698 from powdr-labs/simplify-machine-trait
`Machine` trait: pass through entire `MutableState`
|
2023-10-24 10:00:04 +00:00 |
|
chriseth
|
0269da5d63
|
Merge pull request #712 from powdr-labs/bug_remove
Only remove identities if the LHS is a simple poly.
|
2023-10-24 09:37:53 +00:00 |
|
Georg Wiese
|
75c4fc2ce7
|
Make query callback non-optional
|
2023-10-23 13:18:38 +00:00 |
|
Georg Wiese
|
3ed833a3eb
|
Make process_lookup receive the mutable state
|
2023-10-23 13:18:38 +00:00 |
|
chriseth
|
0fcb07416f
|
Only remove identities if the LHS is a simple poly.
|
2023-10-20 18:21:41 +02:00 |
|
Georg Wiese
|
333491e9c8
|
Memory machine witgen: Handle unknown address
|
2023-10-20 13:46:44 +00:00 |
|
Georg Wiese
|
02b404ffe4
|
External Witness Generation
|
2023-10-18 11:32:35 +00:00 |
|
chriseth
|
164880da68
|
Treat intermediate columns specially.
|
2023-10-16 17:32:21 +02:00 |
|
chriseth
|
b48099a306
|
Merge pull request #699 from powdr-labs/query-callback-trait
Define QueryCallback trait
|
2023-10-12 13:13:05 +00:00 |
|
Georg Wiese
|
0a79a26dd5
|
Remove fixed data from machine functions
|
2023-10-12 10:57:06 +00:00 |
|
Georg Wiese
|
51af91a9b1
|
Define QueryCallback trait
|
2023-10-12 09:19:43 +00:00 |
|
chriseth
|
1e81bb36ac
|
Move constants to generic definitions.
|
2023-10-10 16:40:41 +02:00 |
|
chriseth
|
aff7ff1c57
|
Do not treat constants specially during parsing.
|
2023-10-10 16:40:41 +02:00 |
|
Georg Wiese
|
01e6e0f6fd
|
Witgen Refactoring: Pull out wrapping handling into Generator
|
2023-10-10 13:36:47 +00:00 |
|
chriseth
|
7235b88484
|
Make Identity more flexible.
|
2023-10-10 12:44:40 +02:00 |
|
chriseth
|
a9585d2add
|
Extract evaluator and processor.
|
2023-10-09 16:21:54 +02:00 |
|
Leo
|
ced898c0b2
|
Merge pull request #670 from powdr-labs/vm-processor2
Witgen: Extract block production from Generator into VmProcessor
|
2023-10-05 13:15:39 +00:00 |
|
Georg Wiese
|
d8aa786890
|
Witgen: Extract block production from Generator into VmProcessor
|
2023-10-05 10:40:10 +00:00 |
|
chriseth
|
7d3a7d5ac5
|
Merge pull request #664 from powdr-labs/disallow-print
Disallow prints in all crates
|
2023-10-05 09:52:44 +00:00 |
|
Georg Wiese
|
a28a037f19
|
Disallow prints in all crates
|
2023-10-05 08:11:23 +00:00 |
|
Georg Wiese
|
5e5339d48d
|
Generator: Compute block instead of rows
|
2023-10-05 08:05:53 +00:00 |
|
chriseth
|
a7fe0a4931
|
Merge pull request #661 from powdr-labs/fix-clippy
CI: Add back clippy & fmt checks
|
2023-10-04 15:36:25 +00:00 |
|
Georg Wiese
|
122767bc3c
|
CI: Add back clippy & fmt checks
|
2023-10-04 15:09:07 +00:00 |
|
Georg Wiese
|
be12c9c648
|
Merge pull request #656 from powdr-labs/optimize_mildly
Use "optimize_mildly" to inline constants.
|
2023-10-04 14:55:26 +00:00 |
|
chriseth
|
8d7b55fe02
|
Use optimize mildly to substitute constants.
|
2023-10-04 16:15:26 +02:00 |
|
schaeff
|
a3ebf460fd
|
remove constraints blocks
|
2023-10-04 12:52:59 +02:00 |
|
Thibaut Schaeffer
|
cfef5385af
|
Merge pull request #634 from powdr-labs/impl_visitors
Visitors via traits.
|
2023-10-04 09:44:07 +00:00 |
|
chriseth
|
8782d53441
|
Visitors as bound functions.
|
2023-10-04 11:06:07 +02:00 |
|