612 Commits

Author	SHA1	Message	Date
Georg Wiese	f82b48cfe2	Witgen Sequence Iterator: Allow for empty steps	2024-03-05 12:51:23 +01:00
chriseth	dc96509070	Make expressions and constraints native values.	2024-03-05 11:22:12 +01:00
chriseth	97ed14c48b	Type checking.	2024-03-01 17:36:54 +01:00
Georg Wiese	4eb8644e79	Witness generation for block machines connected via permutations	2024-02-29 16:04:58 +01:00
Leandro Pacheco	28c63ed2d9	AffineExpression as enum ... - change AffineExpression to an enum of Constant|OneVar|ManyVars - remove "cleaning" logic and keep coefficients ordered and clean - rewrite of ExpressionEvaluator::evaluate_binary_operation to shortcut on Err when possible	2024-02-29 08:02:16 -03:00
Leo	41d856c698	Merge pull request #1068 from powdr-labs/poseidon-latch-first-row ... Poseidon Machines: Change latch to be on first row	2024-02-27 12:49:28 +00:00
Leandro Pacheco	9f554793c6	use Cow for returning affine coefficients	2024-02-26 09:07:09 -03:00
Georg Wiese	f2c6caa991	Poseidon Machines: Change latch to be on first row	2024-02-26 11:59:36 +01:00
Leandro Pacheco	861e576da7	inlining	2024-02-24 23:06:44 -03:00
Leandro Pacheco	87c4d10370	make PolynomialTypeTrait::ptype() an associated constant	2024-02-23 10:02:15 -03:00
chriseth	1bcdb54587	Merge pull request #1086 from powdr-labs/opt_fixes ... Small fixes for witgen performance	2024-02-23 12:30:35 +00:00
Leandro Pacheco	d45f9c7a8d	small changes for witgen performance	2024-02-23 08:06:59 -03:00
Georg Wiese	eb67bc5a2e	Witgen: Don't log errors if they can be recovered from	2024-02-22 18:37:27 +01:00
chriseth	daffb65c0c	Add type schemes.	2024-02-22 13:39:39 +01:00
chriseth	daa4dc9e07	Merge pull request #1081 from powdr-labs/small_fixes ... typo & minor fixes	2024-02-21 13:56:20 +00:00
Leandro Pacheco	599f1635c3	typo & minor fixes	2024-02-21 10:23:06 -03:00
Georg Wiese	fdfdc7984d	Get rid of dummy blocks in BlockMachines	2024-02-21 10:58:18 +01:00
Georg Wiese	668d881057	On (N-1, 0) row pair, only execute identities with next reference	2024-02-19 10:27:50 +01:00
Georg Wiese	4d5df90e4c	Handle publics in gen_halo2_proof()	2024-02-13 17:57:31 +01:00
Lucas Clemente Vella	07835e0fec	Updating rust version from 1.72 to 1.74.	2024-02-08 19:17:40 +00:00
Georg Wiese	78e328f605	QueryProcessor: Give access to functions	2024-02-07 18:23:54 +01:00
chriseth	31e4c1ad97	Support arrays of fixed columns.	2024-02-07 11:55:16 +01:00
chriseth	2765e59a9f	Add types.	2024-02-06 10:25:04 +01:00
Leo	94377e9664	Merge pull request #949 from powdr-labs/pipeline-clonable2 ... Make Pipeline Clonable	2024-01-30 15:12:14 +00:00
Leo	b1850ebd4e	Merge pull request #970 from powdr-labs/fix_error_message ... Fix error message.	2024-01-29 12:23:29 +00:00
Georg Wiese	bbab5d3057	Make Pipeline Clonable	2024-01-29 13:14:47 +01:00
Leo	9719344b9d	Merge pull request #972 from powdr-labs/block-machine-one-more-pass ... Block Machine Default Sequence Iterator: Do one more pass	2024-01-29 11:58:14 +00:00
Georg Wiese	bd34b6e801	Block Machine Default Sequence Iterator: Do one more pass	2024-01-29 11:49:12 +01:00
Georg Wiese	3443f843cc	Witgen: Use solve_with_range_constraints() when processing outer queries	2024-01-29 11:43:23 +01:00
chriseth	bbf4b9cf19	Fix error message.	2024-01-29 11:32:04 +01:00
chriseth	f37058acb8	Distinguish between integer and field element.	2024-01-25 17:40:23 +01:00
Georg Wiese	21d6146083	Use Instant instead of SystemTime for profiling	2024-01-25 12:56:55 +01:00
Leo Alt	607c0043d7	add powdr- prefix to all crates	2024-01-23 18:51:29 +01:00
chriseth	a288549b4b	Remove unary plus.	2024-01-23 08:59:55 +01:00
chriseth	e9178945c6	Better errors for fixed col evaluation.	2024-01-17 11:01:14 +01:00
chriseth	b6ff4bf031	Merge pull request #912 from powdr-labs/more_debug ... More debug	2024-01-16 15:38:57 +00:00
Georg Wiese	b84a66a5ee	Make query callback Fn instead of FnMut 🎉	2024-01-16 15:28:47 +01:00
chriseth	91ccb0bfd8	Some more explanation.	2024-01-16 14:57:02 +01:00
chriseth	c1cc6703cd	Derive some more debugs.	2024-01-16 14:57:02 +01:00
Leo	8c736696a6	Merge pull request #897 from powdr-labs/print-publics ... Print publics after witgen	2024-01-11 18:42:15 +00:00
Leo	63ad712224	Merge pull request #893 from powdr-labs/bootloader-write2 ... Introduce `mstore_bootloader` instruction	2024-01-11 18:37:52 +00:00
Georg Wiese	cd740b20b7	Print publics after witgen	2024-01-11 17:57:37 +01:00
Georg Wiese	09d3e1bbe5	Improve witness generation logging	2024-01-11 14:21:27 +01:00
Georg Wiese	e5225d7bbb	Introduce mstore_bootloader instruction	2024-01-11 12:08:45 +01:00
Georg Wiese	9b9cb2a831	Read/Write memory: Allow bigger diffs	2024-01-09 18:42:57 +01:00
Georg Wiese	c95e387f08	Remove m_op	2024-01-08 18:07:53 +01:00
Georg Wiese	6be1056d48	DoubleSortedWitnesses: Remove overly cautious error	2024-01-08 15:41:39 +01:00
Georg Wiese	f1c674ee73	Witness generation profiling #871	2024-01-04 14:50:43 +01:00
Georg Wiese	1b1b1a1feb	Fix performance logging	2024-01-03 16:40:12 +01:00
chriseth	7002712a49	Proper name resolution in PIL.	2024-01-02 09:31:21 +01:00