26 Commits

Author	SHA1	Message	Date
howardwu	f3daba63df	Update gadgets traits	2021-03-04 10:41:33 -08:00
howardwu	3c4b8e9f68	Update gadgets traits	2021-03-04 10:38:28 -08:00
howardwu	400e3dd440	Update r1cs traits	2021-03-04 10:36:54 -08:00
howardwu	4f50b44a63	itemize imports	2021-03-04 10:33:51 -08:00
howardwu	be398437c6	Updates snarkVM to 0.0.5, updates rand usage	2021-02-25 08:56:20 -08:00
howardwu	c935d6a486	Update license to 2021	2021-02-01 20:26:56 -08:00
howardwu	2d64515763	Migrate to snarkVM	2020-12-30 12:40:45 -04:00
ljedrz	bbcafd16de	clippy: fix match_ref_parts ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 13:37:51 +02:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
raychu86	c13852dc88	Add and fix tests for all signed integer types	2020-08-14 16:10:48 -07:00
collin	279c322f2d	fix division max value bug	2020-08-03 18:54:27 -07:00
collin	f3b605546a	shorten pow test	2020-07-16 20:16:54 -07:00
collin	fe2f29ccad	add tests for i types	2020-07-15 21:55:45 -07:00
collin	2f39ecdbc3	impl infra for i type tests	2020-07-15 21:31:23 -07:00
collin	9ad0f34d07	impl pow for int types. add tests	2020-07-15 12:19:38 -07:00
collin	6ccc45f3d6	finish i type division and test	2020-07-15 00:10:29 -07:00
collin	f52dd77373	division i type wip	2020-07-14 20:17:37 -07:00
collin	5d25770b72	impl mul for int types. fix alloc	2020-07-11 04:00:42 -07:00
collin	35cf68c01d	impl sub for int types	2020-07-10 19:34:20 -07:00
collin	e9056cfd41	impl twos complement gadget	2020-07-10 19:14:59 -07:00
collin	5288134fd9	make add compatible with i128	2020-07-10 18:14:51 -07:00
collin	159e7cba9d	impl binary adder, rca, addition test	2020-07-10 18:05:37 -07:00
collin	390296126b	impl alloc	2020-07-10 04:04:55 -07:00
collin	5717d1f1ad	impl addition for i types	2020-07-10 02:07:00 -07:00
collin	d4c8c4252d	add skeleton macros for arithmetic	2020-07-10 00:33:54 -07:00
collin	192e6ba2dd	add testing framework	2020-07-09 23:48:11 -07:00