295 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	71a92eab24	Improved neg implementation.	2023-04-20 18:50:34 +02:00
chriseth	aeb3fce8e6	Merge pull request #168 from chriseth/find_repeating_rows ... Find repeating rows.	2023-04-18 18:11:29 +02:00
chriseth	c0d5fd6ef8	Find repeating rows.	2023-04-18 17:57:49 +02:00
Thibaut Schaeffer	f0fbfa49b3	Merge pull request #170 from chriseth/use-ark-ff ... Use ark_ff under the hood	2023-04-18 13:44:22 +02:00
schaeff	2f3520c7dc	use ark_ff under the hood	2023-04-18 13:42:17 +02:00
chriseth	86ec31f474	Merge pull request #173 from chriseth/fix_wrap_signed ... Fix wrap_signed.	2023-04-18 13:12:46 +02:00
Leo	022d2da66d	Merge pull request #172 from chriseth/sort_output ... Sort output.	2023-04-18 13:06:29 +02:00
chriseth	58994bd224	Fix wrap_signed.	2023-04-18 13:01:17 +02:00
chriseth	93fb667572	Sort output.	2023-04-18 12:35:16 +02:00
chriseth	42ad75cd89	Merge pull request #171 from chriseth/case_no_mem_access ... Fix case for no memory access.	2023-04-18 12:34:57 +02:00
chriseth	b42c8e3832	Fix case for no memory access.	2023-04-18 11:48:10 +02:00
chriseth	9a8f72f874	Merge pull request #169 from chriseth/fix_pc_update ... Fix pc update	2023-04-17 14:00:39 +02:00
chriseth	d3f76e73a2	Fix pc update	2023-04-17 13:46:31 +02:00
chriseth	b6146a738c	Merge pull request #165 from chriseth/adjust_verbosities ... Adjust verbosities	2023-04-17 13:12:41 +02:00
chriseth	8f15d5676a	Adjust verbosities.	2023-04-17 13:04:17 +02:00
chriseth	3dfee91e0a	Merge pull request #167 from chriseth/clippy ... Clippy	2023-04-16 15:54:54 +02:00
chriseth	f34b3e8e38	clippy	2023-04-16 15:51:14 +02:00
Leo	b913e3e963	Merge pull request #141 from chriseth/compile_crate ... Compile full rust crates.	2023-04-15 20:06:45 +02:00
chriseth	7d1cc7b979	Merge pull request #162 from chriseth/avoid-cloning-witness-cols ... Avoid cloning witness cols for each row	2023-04-15 19:47:53 +02:00
chriseth	c821dd1c2d	Fix signed wrap.	2023-04-15 19:43:48 +02:00
chriseth	ae43c4a705	Fix unaligned access	2023-04-15 19:40:09 +02:00
chriseth	396bcbce85	Disable tests.	2023-04-15 19:30:18 +02:00
chriseth	e6bc206e89	64 bit multiplication.	2023-04-15 19:04:55 +02:00
chriseth	c305874c15	Fix to_signed and add andi, ori.	2023-04-15 12:27:23 +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
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
schaeff	a197775300	change instruction declaration syntax to be functional	2023-04-14 15:35:33 +02:00
schaeff	e44954c1e7	avoid cloning witness cols for each row	2023-04-14 13:12:29 +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