270 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	0091369ddc	Allow hex numbers.	2023-04-14 15:53:46 +02:00
Leo Alt	c7ccb6e8bb	apply new functional syntax	2023-04-14 15:52:37 +02:00
chriseth	c317b21bac	Fix memset.	2023-04-14 15:52:37 +02:00
chriseth	b80452c262	some more stuff.	2023-04-14 15:52:37 +02:00
chriseth	7c45318584	Add word data.	2023-04-14 15:52:37 +02:00
chriseth	8b48b1acee	Compile full rust crates.	2023-04-14 15:52:37 +02:00
Leo	efe35d76ca	Merge pull request #150 from chriseth/in-out-instruction-syntax ... Functional instruction declaration syntax	2023-04-14 15:57:14 +02:00
schaeff	a197775300	change instruction declaration syntax to be functional	2023-04-14 15:35:33 +02:00
Thibaut Schaeffer	c3b6c7d959	Merge pull request #160 from chriseth/logs ... Use `log` and `env_logger`	2023-04-13 12:46:54 +02:00
schaeff	e51eedaaf3	use log and env_logger	2023-04-13 12:00:20 +02:00
Thibaut Schaeffer	6e748121d2	Merge pull request #161 from chriseth/avoid-cloning-identities-on-each-row ... Avoid cloning identities on each row	2023-04-12 18:24:34 +02:00
schaeff	eb73a0e498	avoid cloning identities on each row	2023-04-12 17:58:48 +02:00
chriseth	d4cd19022b	Merge pull request #147 from chriseth/application-indices ... Application indices	2023-04-11 21:56:47 +02:00
schaeff	8478e878a7	include output column in index, only keep first match	2023-04-11 21:26:17 +02:00
chriseth	fc2e997561	Merge pull request #124 from chriseth/block_machines ... Block machines.	2023-04-11 21:24:15 +02:00
chriseth	6c7aaf4950	Block machines.	2023-04-11 21:17:13 +02:00
chriseth	52de5ea17b	Merge pull request #156 from chriseth/clippy_on_tests ... Clippy on tests.	2023-04-07 11:21:26 +02:00
chriseth	41ebcae63d	Clippy on tests.	2023-04-07 11:12:17 +02:00
chriseth	513e16d09f	Merge pull request #155 from chriseth/fixed_is_no_machine ... Fixed lookup is not considered a machine.	2023-04-07 10:55:38 +02:00
chriseth	2c16bec6cc	Merge pull request #154 from chriseth/clamp_to_wrap ... Rename clamp to wrap.	2023-04-06 19:50:07 +02:00
schaeff	4bcec989ea	Fixed lookup is not considered a machine.	2023-04-06 19:46:46 +02:00
chriseth	cf0fe91b21	Merge pull request #138 from chriseth/split_machines ... Split out multiple machines.	2023-04-06 19:46:31 +02:00
chriseth	1c0ae0fecf	Rename clamp to wrap.	2023-04-06 19:39:36 +02:00
chriseth	6ca7cffc38	Split out multiple machines.	2023-04-06 19:37:14 +02:00
Leo	cb8602f08b	Merge pull request #149 from chriseth/flexible_field ... make field more flexible	2023-04-06 16:50:57 +02:00
adria0	25b2916d7f	make field more flexible	2023-04-06 14:01:12 +02:00
chriseth	db539679f9	Merge pull request #145 from chriseth/xor_and_match ... Xor and match	2023-04-06 13:39:12 +02:00
schaeff	bf50e9ccbf	pass arguments by value in asm compiler	2023-04-06 11:34:38 +02:00
chriseth	12e3e5d021	Match expressions.	2023-04-06 11:34:38 +02:00
chriseth	604695c753	Xor operator.	2023-04-06 11:30:52 +02:00
chriseth	42293f2e01	Merge pull request #143 from chriseth/fix_riscv_parser ... Fix riscv asm parser.	2023-04-06 11:21:16 +02:00
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	135eda01d4	Fix riscv asm parser.	2023-04-05 16:53:20 +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