45 Commits

Author	SHA1	Message	Date
gluax	8150869c6c	negative groups, and negative group coords allowed	2021-02-16 12:00:08 -05: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
collin	2352ebaf2c	rename all bytes variables to string	2020-12-04 15:48:43 -05:00
collin	674caf5902	use include_str in all program tests	2020-12-04 15:34:51 -05:00
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
Howard Wu	f57a0cc497	Merge pull request #249 from AleoHQ/feature/console ... Implement console functions	2020-08-19 00:10:44 -07:00
collin	c7c2d14597	impl group number syntax in compiler and test zero and one	2020-08-18 13:28:08 -07:00
collin	f675e895f5	merge master	2020-08-18 11:22:56 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	e58a5f4e0e	clean up	2020-08-16 19:45:35 -07:00
collin	e6e02a0e50	refactor all tests	2020-08-16 19:14:26 -07:00
collin	ced738f852	use from y coordinate from snarkos	2020-08-15 22:59:26 -07:00
collin	a4b29d2651	impl new group notation for inputs compiler	2020-08-15 17:21:18 -07:00
collin	37bedc8662	impl tests for group notation	2020-08-15 16:31:07 -07:00
collin	bea47246a6	Merge branch 'fix/group-type' of github.com:AleoHQ/leo into feature/tuple	2020-08-13 11:46:19 -07:00
collin	d1eddcf4db	fix input group value and add test	2020-08-13 11:37:48 -07:00
collin	9c7e14cf4d	comment out integer tests	2020-08-10 14:46:36 -07:00
collin	c66efc03f0	impl negation tests for all types	2020-08-04 21:37:09 -07:00
howardwu	f40ba91784	Rename types -> typed	2020-08-02 20:56:22 -07:00
collin	070fa0edea	fix all tests	2020-07-31 20:59:50 -07:00
collin	fb45ac7498	rename inputs -> input	2020-07-31 19:39:30 -07:00
collin	f03d0be080	fix group tests	2020-07-30 12:54:34 -07:00
collin	ac8c940169	add parsing for .in and .state files and update errors	2020-07-29 13:20:44 -07:00
collin	1707d43be0	fix indents	2020-07-17 12:59:18 -07:00
collin	b0acd5ea5a	update field and group modules	2020-07-07 19:53:37 -07:00
collin	87db0508f4	impl return tuples and update tests	2020-07-07 10:11:23 -07:00
collin	efd885c6a7	impl 1group and add test	2020-07-07 02:08:48 -07:00
collin	7248814ac7	impl let/const for circuits and value wrappers	2020-06-16 09:49:45 -07:00
collin	0168902a7d	update snarkos master	2020-06-15 19:32:37 -07:00
collin	ac9395f1fd	include_bytes group tests	2020-06-08 18:39:10 -07:00
howardwu	837d107a54	cargo fmt	2020-06-07 23:30:39 -07:00
howardwu	81407ac182	Fix tests	2020-06-07 21:26:49 -07:00
collin	b4c163ce4f	add field gadget tests	2020-06-02 16:06:25 -07:00
collin	91e8febffe	add field operation tests	2020-06-02 15:33:09 -07:00
collin	69df8306a5	fix dependency	2020-06-01 18:35:43 -07:00
collin	5db9b043dc	cargo fmt	2020-06-01 17:23:40 -07:00
collin	f144571530	impl group cond_select	2020-06-01 17:23:13 -07:00
collin	ad2d9f1192	impl group alloc input	2020-06-01 14:20:14 -07:00
collin	d1297fc60c	impl group partialeq, eq, enforce_eq, cond_enforce_eq	2020-06-01 12:15:49 -07:00
collin	d1e448d630	impl group sub for edwards	2020-05-30 17:19:26 -07:00
collin	faf726e3b1	add (x, y)group syntax	2020-05-30 17:05:07 -07:00
collin	9ba3dfbb6b	impl group add for edwards	2020-05-30 15:37:11 -07:00
collin	19f6e64c48	remove snarkos group trait from compiler	2020-05-29 15:55:57 -07:00