238 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Thibaut Schaeffer	b2a663d632	Merge pull request #142 from chriseth/degree_computaton ... Assert degree is large enough.	2023-04-05 18:39:56 +02:00
chriseth	92cbda2c05	Assert degree is large enough.	2023-04-05 17:01:04 +02:00
chriseth	9d9dc52808	Merge pull request #136 from chriseth/fixed-indices ... Fixed lookup indices	2023-04-04 12:49:57 +02:00
schaeff	a85d7c5cde	indices for fixed lookups	2023-04-04 12:27:05 +02:00
chriseth	045c4b19b5	Merge pull request #131 from chriseth/solve_invalid ... Explicitly handle the case for unsatisfiable constraints.	2023-04-03 15:24:28 +02:00
chriseth	6b064b8a74	Merge pull request #132 from chriseth/fix_clippy ... Fix clippy.	2023-04-01 23:12:57 +02:00
chriseth	20fabd38e4	Explicitly handle the case for unsatisfiable constraints.	2023-03-31 16:41:47 +02:00
chriseth	0eef4117d7	Fix clippy.	2023-03-31 16:39:03 +02:00
chriseth	ed9607dca7	Merge pull request #129 from chriseth/pair_lookup ... Fixed lookup improvements	2023-03-31 15:08:07 +02:00
chriseth	dc1d681e5f	witness generation for fixed lookups	2023-03-31 14:48:42 +02:00
Thibaut Schaeffer	17fa7c52a6	Merge pull request #125 from chriseth/array_expression ... Complex array literal expressions	2023-03-29 15:12:20 +02:00
schaeff	7260cfa957	add test for full constant case	2023-03-29 15:00:57 +02:00
schaeff	72ef09012b	revert newline	2023-03-29 10:46:00 +02:00
schaeff	82ce286f20	remove parentheses in parser, rename to ArrayLiteralExpression	2023-03-29 10:43:09 +02:00
chriseth	b2e801381c	Merge pull request #128 from chriseth/improved_bit_constraints ... Improved bit constraints.	2023-03-29 09:02:57 +02:00
chriseth	2662ed4c10	Improved bit constraints.	2023-03-29 08:48:14 +02:00
chriseth	5217804e44	Merge pull request #127 from chriseth/verbose_pil ... Verbose option for pil compiler.	2023-03-29 08:46:15 +02:00
chriseth	2f0b257842	Verbose option for pil compiler.	2023-03-29 08:26:19 +02:00
schaeff	fa66f1ee13	simplify	2023-03-28 23:27:07 +02:00
schaeff	eb0eac4f55	solve for , make tests pass	2023-03-28 23:04:03 +02:00
chriseth	bc741683cd	Merge pull request #126 from chriseth/generalize_evaluator ... Generalize witness evaluator.	2023-03-28 19:07:42 +02:00
chriseth	6871b29381	Generalize witness evaluator.	2023-03-28 18:58:52 +02:00
chriseth	6812b3ee9b	Merge pull request #122 from chriseth/group_machines ... Group machines	2023-03-28 18:22:09 +02:00
schaeff	6f090d1826	implement array expression up to pil_analyzer	2023-03-28 18:14:10 +02:00
chriseth	c1fab9603e	Group machines.	2023-03-28 17:39:35 +02:00
chriseth	f769f2a865	Merge pull request #123 from chriseth/fix_clippy ... Fix clippy.	2023-03-28 17:21:47 +02:00
chriseth	d78ea215da	Merge pull request #121 from chriseth/refactor_fixed_ev ... Refactor fixed evaluator	2023-03-28 17:21:37 +02:00
chriseth	43c699d37b	Fix clippy.	2023-03-28 17:13:26 +02:00
chriseth	e502673940	Use existing fixed evaluator.	2023-03-28 17:12:57 +02:00
chriseth	ef0a2b4236	Merge pull request #120 from chriseth/rename_commit_evaluator ... Rename commit evaluator	2023-03-28 17:11:08 +02:00
chriseth	bd456eee45	Merge pull request #119 from chriseth/allow_space_in_pil_block_defs ... Allow `pil {` in pil block definitions	2023-03-28 17:00:20 +02:00
chriseth	a73672b94f	Rename the actual evalutor.	2023-03-28 16:59:32 +02:00
chriseth	d61d0a09bb	Rename commit evaluator.	2023-03-28 16:54:18 +02:00
schaeff	dab2c4e6b7	allow for inline pil	2023-03-28 13:47:05 +02:00
chriseth	9bc46b8dfb	Merge pull request #111 from chriseth/improve_riscv_parser ... Improve riscv parser.	2023-03-28 10:58:35 +02:00
Thibaut Schaeffer	2d1f76b81d	Merge pull request #113 from chriseth/add_degree_instruction ... Add asm instruction to set the degree	2023-03-28 10:29:16 +02:00
chriseth	7eefe3c502	Improve riscv parser.	2023-03-28 10:13:42 +02:00
schaeff	7a24d59da8	add instruction to set the degree	2023-03-28 10:09:37 +02:00
chriseth	07b5e65eea	Merge pull request #115 from chriseth/typos ... fixes buncha typos	2023-03-28 10:07:50 +02:00
Leo Alt	fcb20c8063	typos	2023-03-27 21:46:02 +02:00
Leo	1cdb80ed35	Merge pull request #112 from chriseth/format_notes_asm_md ... Add code blocks to notes_asm.md	2023-03-27 21:38:42 +02:00
Thibaut Schaeffer	c86df00aea	Fix modulus.	2023-03-27 17:58:54 +02:00
Thibaut Schaeffer	b09652c038	Add code blocks to notes_asm.md	2023-03-27 11:27:50 +02:00
chriseth	c7cead54af	Merge pull request #110 from chriseth/riscv_error_reporting ... Parse error reporting for riscv asm parser.	2023-03-25 15:37:21 +01:00
chriseth	1b1415e06c	Parse error reporting for riscv asm parser.	2023-03-25 15:32:24 +01:00
chriseth	0d7b4d4ba0	Merge pull request #108 from chriseth/more_readme ... More text on assembly and rust frontend.	2023-03-24 22:38:53 +01:00
chriseth	a9cdc0ecda	More text on assembly and rust frontend.	2023-03-24 22:34:27 +01:00
chriseth	221e065527	Merge pull request #106 from chriseth/rust_frontend ... Rust frontend	2023-03-24 22:01:24 +01:00
chriseth	18d7e3f286	Compile Rust through RISCV.	2023-03-24 21:34:46 +01:00
chriseth	f2704765ad	Merge pull request #105 from chriseth/fix_shift ... Fix shift.	2023-03-24 11:09:56 +01:00