71 Commits

Author	SHA1	Message	Date
chriseth	e3467f431e	Support ranges in range constraints.	2023-07-11 17:19:05 +02:00
schaeff	fc8ba429df	modular powdr syntax, basic romgen, and basic linker for single machine	2023-07-10 17:56:29 +02:00
chriseth	edbe05f699	Some more uses of is_zero and is_one.	2023-07-10 09:36:54 +02:00
chriseth	f80646d60f	Some more features for the number types.	2023-07-10 09:36:54 +02:00
Lucas Clemente Vella	8010afbf6e	Merge pull request #372 from powdr-org/add_expression_function ... Add expression function for poly id.	2023-07-07 14:09:22 +01:00
chriseth	b58354322a	PIL optimizer: remove constant columns.	2023-07-06 21:00:39 +02:00
chriseth	5b5d725092	Add expression function for poly id.	2023-07-06 17:36:00 +02:00
chriseth	fd3e889eb5	Move analyzed ast into the ast crate.	2023-07-03 15:18:36 +02:00
chriseth	7e41a7502c	Simplify type.	2023-06-30 23:20:15 +02:00
chriseth	10c10204b9	Only list witnesses that belong to the base machine.	2023-06-28 14:56:15 +02:00
chriseth	66ff34265a	Rename bit constraints to more generic term.	2023-06-26 19:32:27 +02:00
Lucas Clemente Vella	ac12c92359	Enabling logging in tests.	2023-06-22 16:27:32 +01:00
schaeff	3bbdd1c243	improve compiler pipeline	2023-06-19 16:01:02 +02:00
chriseth	54cb1a58fd	Fix memory access.	2023-06-15 14:26:23 +01:00
Lucas Clemente Vella	f07d6aa189	Merge pull request #324 from powdr-org/underdetermined_zero_no_solution ... Underdetermined constraints with zero not being a solution	2023-06-15 11:27:50 +01:00
Leo	bcf57d5b6e	Merge pull request #333 from powdr-org/multithreading_ready ... Make some types ready for multi-threading.	2023-06-15 10:16:31 +02:00
chriseth	5b9a733a8e	Make some types ready for multi-threading.	2023-06-14 19:53:43 +02:00
chriseth	98e0fb16a0	Check if zero is a valid "unknown" solution.	2023-06-14 19:50:09 +02:00
chriseth	d3bc3ab8d3	Expect message.	2023-06-14 19:29:39 +02:00
chriseth	d154b944cb	Move progress to a local variable. ... Co-authored-by: Thibaut Schaeffer <schaeffer.thibaut@gmail.com>	2023-06-12 10:41:16 +02:00
chriseth	aa3643b880	Extract identity processing.	2023-06-12 10:41:16 +02:00
schaeff	30915a0132	optional halo2 proving in cli	2023-06-02 16:05:25 +02:00
schaeff	29eea41f3b	expose mock-proving as a separate CLI step	2023-05-24 15:03:41 +02:00
schaeff	f8cd4e4e75	remove wrapping behavior	2023-05-24 15:03:41 +02:00
chriseth	0ea3663750	Less logging on witgen failure.	2023-05-22 16:29:57 +02:00
Leo	e36d3e1f59	Merge pull request #286 from chriseth/check_power_two ... Better check for power of two.	2023-05-19 10:52:19 +02:00
chriseth	3b4c566d3b	clippy	2023-05-18 13:22:33 +02:00
chriseth	b8c1fe196a	Better check for power of two.	2023-05-18 13:18:50 +02:00
schaeff	0b23b5bd40	make everything generic over FieldElementTrait	2023-05-12 14:56:30 +02:00
schaeff	b75a2f9cab	address review comments	2023-05-11 15:30:19 +02:00
schaeff	91d7a798bc	use array-based bigint for bitwise	2023-05-11 11:28:38 +02:00
schaeff	60be9f7efc	fix bitwise negation	2023-05-11 10:24:29 +02:00
schaeff	8136562be0	add bn254 to number types, move methods to trait, use biguint	2023-05-11 10:24:29 +02:00
chriseth	b0e71da221	Use logging for witness generation error.	2023-05-09 19:31:47 +02:00
chriseth	ad8abfbf8e	Print failing identity.	2023-05-09 18:00:38 +02:00
chriseth	2b89caf2c6	Format affine expression in error.	2023-05-09 18:00:38 +02:00
chriseth	8449ea4f3d	Print names.	2023-05-09 17:00:54 +02:00
chriseth	eb9b0e97bb	Use &PolynomialReference as keys.	2023-05-09 14:52:28 +02:00
chriseth	7ba175b95f	Merge pull request #237 from chriseth/fix_affine_format ... Bugfix: affine format	2023-05-08 23:04:01 +02:00
Lucas Clemente Vella	50969341ca	Sorting in the places where HashSet order influence the result.	2023-05-08 17:39:39 +01:00
chriseth	77e38a3075	Fix affine format	2023-05-06 13:49:36 +02:00
chriseth	173d163832	Substitute constants in identities.	2023-05-05 21:18:20 +02:00
Thibaut Schaeffer	ae9a8ef996	Merge pull request #229 from chriseth/fixed_data_col_keys_as_integers ... Change fixed data cols lookup to integer.	2023-05-05 18:25:49 +02:00
chriseth	c4e0cbf665	Review comments.	2023-05-04 22:09:51 +02:00
chriseth	daa11b590e	Change PolyID to struct.	2023-05-04 22:04:02 +02:00
chriseth	ccc9aabcfc	Improve constant generation performance.	2023-05-04 21:37:28 +02:00
chriseth	b480b31179	Change fixed data cols lookup to integer.	2023-05-04 18:38:09 +02:00
chriseth	34f8f1c04c	Use poly ref in expression evaluator.	2023-05-04 14:53:12 +02:00
chriseth	f176b8bd43	Make some use of poly ids.	2023-05-04 13:15:53 +02:00
chriseth	1d42cf0f7b	Add IDs to references.	2023-05-04 12:01:56 +02:00