77 Commits

Author	SHA1	Message	Date
chriseth	70c63e723c	Allow arbitrary instruction return values through free input.	2023-03-06 20:20:46 +01:00
chriseth	0ffb5a59f8	Some renaming.	2023-03-06 13:28:28 +01:00
chriseth	96f0cce4f9	Split out evaluator.	2023-03-06 13:26:59 +01:00
chriseth	ec3924d757	Refactor access to analyzed.	2023-03-06 13:05:37 +01:00
chriseth	96b484e67f	Identity check on row zero is not considered fatal.	2023-03-06 12:20:57 +01:00
chriseth	0fef42e7f5	Plookups with selectors on the LHS.	2023-03-06 12:20:57 +01:00
chriseth	2cafdd876f	Wrap constant poly at degree.	2023-03-06 12:20:57 +01:00
chriseth	0752c5fe5e	Write to registers in instructions.	2023-03-06 12:20:57 +01:00
chriseth	cbebe051d3	Support lookups in instructions.	2023-03-06 10:50:20 +01:00
chriseth	96af245709	Verbose output	2023-03-02 19:23:06 +01:00
chriseth	b640d15ac3	More structured errors.	2023-03-02 19:01:15 +01:00
chriseth	305605647b	Output asm parser errors.	2023-03-02 15:20:16 +01:00
chriseth	34ab7b60c9	Better input processing.	2023-03-02 15:20:13 +01:00
chriseth	e69fa52896	Improved error messages.	2023-03-02 14:06:46 +01:00
chriseth	37b7a3bbf0	Commandline access to asm compiler.	2023-03-02 13:55:43 +01:00
chriseth	f5ccb2a837	Fix asm generation.	2023-03-01 21:16:36 +01:00
chriseth	ebc374d214	finite field arith.	2023-03-01 21:16:36 +01:00
chriseth	40a9cef4fa	Witness generation for assembly.	2023-03-01 15:06:17 +01:00
chriseth	5664418bd7	Abstract the number type.	2023-03-01 12:41:57 +01:00
chriseth	4837e1c68a	Fix query strings.	2023-02-28 18:56:09 +01:00
chriseth	dc42c5480e	Fix assembly compilation.	2023-02-28 18:31:55 +01:00
chriseth	c2e0d6a314	Display for analyzed data.	2023-02-28 17:13:59 +01:00
chriseth	c326a5ae31	Explain reasons for failure.	2023-02-28 16:42:25 +01:00
chriseth	c554187af8	Support lookups in witness computation.	2023-02-27 21:32:03 +01:00
chriseth	9016f9c64d	Evaluate on next if no next ref.	2023-02-27 20:30:13 +01:00
chriseth	bef70e54b1	Allow evaluating expressions on next row.	2023-02-27 20:26:22 +01:00
chriseth	20bae0e50f	Properly use temporary directories for tests.	2023-02-27 15:45:36 +01:00
chriseth	addcc54516	Use FnMut for callback.	2023-02-27 14:31:54 +01:00
chriseth	b7bd1e6a5c	Witness queries.	2023-02-26 01:58:09 +01:00
chriseth	6f08cee626	Support strings and tuples of expressions.	2023-02-25 19:19:27 +01:00
chriseth	0337551737	Compile asm to pil.	2023-02-22 17:34:44 +01:00
chriseth	885cdcfd23	Support fixed columns in array form.	2023-02-21 23:04:28 +01:00
chriseth	ef7fe59046	PIL ast printer.	2023-02-21 12:34:58 +01:00
chriseth	611c44b6e0	Remove code duplication.	2023-02-20 16:49:22 +01:00
chriseth	b6d00ed04f	Split analyzer.	2023-02-20 14:54:02 +01:00
chriseth	c7bdda36c1	ASM parser.	2023-02-20 14:42:05 +01:00
chriseth	0652c89c9d	Reference other fixed columns.	2023-02-15 22:24:10 +01:00
chriseth	5a590034c0	More operators.	2023-02-15 16:26:37 +01:00
chriseth	1adcc5e082	Allow different terms for pol, constant and commit.	2023-02-15 14:18:28 +01:00
chriseth	46d3906f02	Move test files.	2023-02-15 14:04:24 +01:00
chriseth	052c1e5736	Macros	2023-02-14 18:13:07 +01:00
chriseth	08dfe04a40	Refactor: Combine identity statements.	2023-02-13 21:27:08 +01:00
chriseth	bb5a5f3cb9	Use buffered writes.	2023-02-09 18:06:23 +01:00
chriseth	69d21a7921	Commit evaluator.	2023-02-09 17:45:31 +01:00
chriseth	62c6586f7e	Test constant generation.	2023-02-09 11:42:07 +01:00
chriseth	6532771abd	Define and evaluate constants.	2023-02-08 23:36:35 +01:00
chriseth	33b2454bb8	Fix remaining issues.	2023-02-08 16:41:04 +01:00
chriseth	74e7ef6498	Parse all examples.	2023-02-08 16:11:40 +01:00
chriseth	299926e733	Parse hex numbers and fix forward references for intermediate polynomials.	2023-02-08 00:05:40 +01:00
chriseth	5d19286f0d	Add padding.	2023-02-07 17:45:23 +01:00