870 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	fa219360a3	Merge pull request #688 from powdr-labs/visitor_for_fun_val_def ... Visitor for FunctionValueDefinition	2023-10-10 14:42:55 +00:00
Georg Wiese	017fd44945	Merge pull request #676 from powdr-labs/pull-out-wrapping-handling ... Witgen Refactoring: Pull out wrapping handling into Generator	2023-10-10 14:04:40 +00:00
chriseth	48d6de72bd	Visitor for FunctionValueDefinition	2023-10-10 15:56:32 +02:00
Georg Wiese	01e6e0f6fd	Witgen Refactoring: Pull out wrapping handling into Generator	2023-10-10 13:36:47 +00:00
Thibaut Schaeffer	b4a7df22e3	Merge pull request #667 from powdr-labs/detect-circular-dependency ... Detect circular dependency in use statements	2023-10-10 13:26:26 +00:00
Georg Wiese	dace760c6e	Merge pull request #685 from powdr-labs/make_identity_expr_generic ... Make identities generic over expression type	2023-10-10 12:31:55 +00:00
chriseth	7235b88484	Make Identity more flexible.	2023-10-10 12:44:40 +02:00
chriseth	7940c8887f	Merge pull request #665 from powdr-labs/extract_evaluator_processor ... Extract evaluator and processor.	2023-10-09 15:24:19 +00:00
chriseth	16ddc3919f	Merge pull request #683 from powdr-labs/new_visitor ... Change expression visitor to be more flexible.	2023-10-09 14:51:04 +00:00
chriseth	a9585d2add	Extract evaluator and processor.	2023-10-09 16:21:54 +02:00
chriseth	58cce78784	Change expression visitor to be more flexible.	2023-10-09 16:18:35 +02:00
chriseth	1765b9b431	Merge pull request #684 from powdr-labs/fix-starky-ci ... fix extra parameter in starky	2023-10-09 12:22:09 +00:00
Leo Alt	9906a5b937	fix extra parameter in starky	2023-10-09 13:05:51 +02:00
schaeff	1f62c35491	detect circular dependency	2023-10-07 10:14:41 +02:00
Leo	076cf38579	Merge pull request #675 from powdr-labs/wrap-return-high ... WrapGL machine: return both high and low values	2023-10-05 16:43:40 +00:00
Georg Wiese	263c03d77d	WrapGL machine: return both high and low values	2023-10-05 16:18:28 +00:00
Lucas Clemente Vella	833599f74b	Merge pull request #621 from powdr-labs/lr_sc_instructions ... lr/sc instructions	2023-10-05 15:09:35 +00:00
Lucas Clemente Vella	89fd808146	Implementation of lr/sc instructions and tests.	2023-10-05 15:16:13 +01: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
Leo	5af873b5e7	Merge pull request #669 from powdr-labs/adjust-readme ... adjust readme	2023-10-05 13:13:52 +00:00
Georg Wiese	d8aa786890	Witgen: Extract block production from Generator into VmProcessor	2023-10-05 10:40:10 +00:00
Leo Alt	ba727c68c2	adjust reamde	2023-10-05 12:38:27 +02: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
chriseth	e686812fb4	Merge pull request #601 from powdr-labs/generator-compute-block ... Generator: Compute block instead of rows	2023-10-05 09:52:13 +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
chriseth	7081a5ad73	Merge pull request #666 from powdr-labs/symbol_counters ... Use symbol counters.	2023-10-04 15:16:31 +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	f4b3468476	Use symbol counters.	2023-10-04 16:35:10 +02:00
chriseth	8d7b55fe02	Use optimize mildly to substitute constants.	2023-10-04 16:15:26 +02:00
Thibaut Schaeffer	12e94acbab	Merge pull request #652 from powdr-labs/remove-constraints-blocks ... Remove constraints blocks	2023-10-04 12:02:41 +00:00
schaeff	a3ebf460fd	remove constraints blocks	2023-10-04 12:52:59 +02:00
Thibaut Schaeffer	0047b191ab	Merge pull request #658 from powdr-labs/process_namespace ... Fix constant namespaces.	2023-10-04 10:05:55 +00: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	661f4f1acb	Fix constant namespaces.	2023-10-04 11:00:15 +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
Leo	caa9570290	Merge pull request #654 from powdr-labs/larger-std ... Add more machines to Powdr STD	2023-10-04 08:21:04 +00:00
Georg Wiese	5268e6fc24	Add more machines to Powdr STD	2023-10-03 18:02:01 +00:00
Thibaut Schaeffer	c5c6f2c89e	Merge pull request #659 from powdr-labs/use-infallible ... Replace empty enums with `std::convert::Infallible`	2023-10-03 17:33:26 +00:00
schaeff	56f5101abb	replace empty enums with convert::Infallible	2023-10-03 18:55:26 +02:00
chriseth	a001f81940	Merge pull request #655 from powdr-labs/fix_visitors ... Fix visitors.	2023-10-02 15:52:19 +00:00
chriseth	c318e3dc5e	Fix visitors.	2023-10-02 17:14:33 +02:00
Lucas Clemente Vella	7c74eea364	Merge pull request #653 from powdr-labs/fix_column_removal ... Fix column removal	2023-10-02 14:29:54 +00:00
Georg Wiese	380b96fcf1	Bug fixes in block machine witness generation	2023-10-02 14:08:33 +00:00
Leo	70cdfeb096	Merge pull request #650 from powdr-labs/block-machine-bug-fixes2 ... Improve logging & error reporting in witness generation	2023-10-02 13:59:17 +00:00
chriseth	41afc5cd10	Fix column removal	2023-10-02 15:49:32 +02:00
Leo	f9200741c9	Merge pull request #648 from powdr-labs/mul-mulh-unification ... Multiplication returning both high and low bits.	2023-10-02 13:35:35 +00:00