github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
903 Commits 544 Branches 9 Tags
02b404ffe4e0c413c706124b7c58da94676b4240
Commit Graph

146 Commits

Author SHA1 Message Date
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
chriseth
f39872d539 Merge pull request #651 from powdr-labs/block-machine-cache-miss 
Bug fixes in block machine witness generation
 2023-10-04 08:52:23 +00:00
Georg Wiese
380b96fcf1 Bug fixes in block machine witness generation 2023-10-02 14:08:33 +00:00
Georg Wiese
f76aab9cee Improve logging in Block Machine witgen 2023-10-02 12:54:01 +00:00
chriseth
6565b056b2 Properly print local variables. 2023-09-29 12:36:45 +02:00
Georg Wiese
57b8749aa3 Witgen: Handle Block-to-Block calls 2023-09-27 16:26:36 +00:00
Georg Wiese
5a9ef99331 Block Machine Witgen: Handle last row differently 2023-09-27 10:21:37 +00:00
Georg Wiese
082c2d70e5 Use Processor in BlockMachine 2023-09-27 08:01:38 +00:00
chriseth
ac0ccff780 Array literals in expressions. 2023-09-26 10:54:16 +02:00
chriseth
0ead3bd1c7 Merge pull request #564 from powdr-labs/generic_declaration 
Let statement and lambda functions.
 2023-09-25 16:54:44 +00:00
chriseth
a7c65e0990 Lambda expressions 2023-09-25 17:28:38 +02:00
chriseth
45e9cc5354 Use itertools::format. 2023-09-25 16:31:17 +02:00
chriseth
3b31c670a7 Unify parsed and analyzed expressions. 2023-09-19 16:33:56 +02:00
schaeff
75e806a0d6 inline imp before witgen 
inline intermediate polynomials for halo2
 2023-09-14 15:28:48 +02:00
schaeff
8191e8d009 support intermediate polynomials 2023-09-12 19:26:05 +02:00
Georg Wiese
062969885b Witgen: Detect VM Submachines (#516) 2023-09-12 14:08:00 +02:00
Georg Wiese
c022e9915b BlockMachine: Remember if a query could not be completed 2023-09-12 10:32:51 +02:00
Georg Wiese
958bd88478 Bug fix in AffineExpression::assign() 2023-09-07 14:16:04 +00:00
chriseth
103e2e7678 Add comparisons and logical operators. 2023-09-07 15:21:58 +02:00
Georg Wiese
16c528318e ColumnMap: Different type for different polynomial type 2023-09-06 19:19:25 +02:00
chriseth
50d35063fb Quick fix: Re-compute first row. 2023-09-05 17:03:39 +02:00
chriseth
dea06ada15 Move update functions into CellValue. 2023-09-05 14:56:40 +02:00
chriseth
d2e29b315a Simplify range constsraint combination. 2023-09-05 14:56:40 +02:00
chriseth
f220d80474 Lazily combine affine expressions 2023-09-04 21:56:12 +02:00
Georg Wiese
10546b8ba3 Processor: Use sequence iterator 2023-09-04 11:36:22 +00:00
Georg Wiese
5b3252fb86 Witgen: Improve error messages 2023-09-01 20:11:37 +02:00
chriseth
5a65ea8ffe Statistics about identity processing. 2023-09-01 11:09:08 +02:00
Georg Wiese
1bcffdd0ba Use rust toolchain 1.72 (#550) 
* Use rust toolchain 1.72

* Use resolver 2

* Install toolchain on CI

* Install toolchain

* just lint and format

* Add clippy

* Just format

* Add rustfmt component

* Readd tests
 2023-08-31 13:25:36 +00:00
chriseth
56448b0c1e Merge pull request #539 from powdr-labs/eval_left_only 
Evaluate only left side of multiplication if it is zero.
 2023-08-31 10:13:14 +02:00