29 Commits

Author	SHA1	Message	Date
Nicholas Ward	e46bd08f00	exponention gate takes only bits	2021-07-29 12:59:11 -07:00
Daniel Lubarov	e382decc9f	Import fixes	2021-07-29 11:45:58 -07:00
Nicholas Ward	2fd9ce2114	fixes to exp functions	2021-07-28 13:38:41 -07:00
Nicholas Ward	6749a94c52	fix	2021-07-28 10:17:32 -07:00
Nicholas Ward	607d0a89cb	fixed max_power_bits	2021-07-28 10:09:35 -07:00
Nicholas Ward	68672c0038	addressed comments	2021-07-28 09:20:20 -07:00
Nicholas Ward	a38a5e227d	select_ext takes bit as extension; used in recursive eval	2021-07-27 22:51:40 -07:00
Nicholas Ward	33ba269ccb	fixes	2021-07-27 15:58:19 -07:00
Nicholas Ward	3944c5e68e	added eval_unfiltered_recursively	2021-07-27 13:29:57 -07:00
Nicholas Ward	044eb597c2	added eval_unfiltered_base	2021-07-27 13:18:42 -07:00
Nicholas Ward	21ec75335a	fix: power bits in test now LE	2021-07-27 13:09:28 -07:00
Nicholas Ward	b5418bffb3	added output wire	2021-07-27 13:09:15 -07:00
Daniel Lubarov	54626be7ce	comment	2021-07-27 12:48:52 -07:00
Daniel Lubarov	1e9845afcf	nits	2021-07-27 12:47:15 -07:00
Nicholas Ward	b66ad6c96a	added debug assert	2021-07-27 12:34:47 -07:00
Nicholas Ward	7e5e4fc682	updated num_constraints	2021-07-27 12:18:09 -07:00
Nicholas Ward	59bfc52f9c	removed extraneous constraint	2021-07-27 11:55:25 -07:00
Nicholas Ward	695e5bc98c	fix?	2021-07-27 11:04:16 -07:00
Nicholas Ward	0b8f5860f5	removed if statement	2021-07-27 10:46:10 -07:00
Nicholas Ward	af62688bd7	fixes	2021-07-27 10:19:46 -07:00
Nicholas Ward	d7a9274fef	updated for add_gate changes	2021-07-23 20:06:00 -07:00
Nicholas Ward	b06d7bc8f5	cargo fmt	2021-07-23 15:56:25 -07:00
Nicholas Ward	0c4a1bc5af	fixes	2021-07-23 15:56:14 -07:00
Nicholas Ward	8e2f33bd42	fix	2021-07-23 15:52:37 -07:00
Nicholas Ward	64d8a44320	cargo fmt	2021-07-23 15:47:03 -07:00
Nicholas Ward	1c8015b93d	finished tests (don't pass yet)	2021-07-23 15:46:52 -07:00
Nicholas Ward	9932517e86	cargo fmt	2021-07-23 15:11:53 -07:00
Nicholas Ward	40055dc45d	basic tests	2021-07-23 15:11:42 -07:00
Nicholas Ward	6d22ad6ee0	initial version of exponentiation gate	2021-07-23 15:08:54 -07:00