612 Commits

Author	SHA1	Message	Date
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
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