73 Commits

Author	SHA1	Message	Date
collin	51f603b881	add span error formatting for inputs	2020-06-17 15:40:39 -07:00
collin	4d1bf9071c	add span to input values	2020-06-16 19:13:11 -07:00
collin	7248814ac7	impl let/const for circuits and value wrappers	2020-06-16 09:49:45 -07:00
collin	5ec6696e74	merge snarkos master changes	2020-06-15 20:05:41 -07:00
collin	0168902a7d	update snarkos master	2020-06-15 19:32:37 -07:00
collin	c77e6a51b3	remove visibility syntax and functionality	2020-06-15 13:38:07 -07:00
collin	8ea11dbab7	add type resolution for values and fix tests	2020-06-13 17:43:59 -07:00
collin	1eaaed269d	impl chained and nested conditionals	2020-06-13 03:39:51 -07:00
collin	1e1e4b86d9	move conditional tests into statement module	2020-06-13 02:08:21 -07:00
collin	c7eccdc87e	impl for loop statements for conditional	2020-06-13 02:04:31 -07:00
collin	2d17b39da6	impl mutable statements in basic conditional	2020-06-13 00:47:09 -07:00
collin	4c64edb032	test conditional basic assert statements	2020-06-12 19:32:16 -07:00
collin	3f668422fd	enforce name, type, visibility of inputs. add tests	2020-06-11 14:40:27 -07:00
collin	824a6059fb	split up input loading and parsing in compiler	2020-06-11 11:43:05 -07:00
collin	52f0d012c8	fix tests	2020-06-10 17:53:38 -07:00
collin	67b8a48fcf	public input booleans and integers	2020-06-10 16:14:55 -07:00
collin	39b8eda8cd	ignore import tests	2020-06-08 19:31:29 -07:00
collin	bc7f4719c3	include_bytes integers tests	2020-06-08 19:13:47 -07:00
collin	b4ed9ca4bc	include_bytes statements tests	2020-06-08 18:58:41 -07:00
collin	54b1453ddc	include_bytes mutability tests	2020-06-08 18:55:44 -07:00
collin	20a01ce2e8	include_bytes import tests	2020-06-08 18:52:35 -07:00
collin	ac9395f1fd	include_bytes group tests	2020-06-08 18:39:10 -07:00
collin	2ab0147e80	include_bytes function tests	2020-06-08 18:31:21 -07:00
collin	b3ec78c6fd	include_bytes field tests	2020-06-08 18:27:11 -07:00
collin	c0682de33d	include_bytes circuit tests	2020-06-08 18:12:40 -07:00
collin	8e8f00467a	include_bytes array tests	2020-06-08 17:51:06 -07:00
collin	834055abf5	use include_bytes for boolean test	2020-06-08 17:28:09 -07:00
howardwu	837d107a54	cargo fmt	2020-06-07 23:30:39 -07:00
howardwu	988f58618e	Adds configuration files for tooling	2020-06-07 22:53:45 -07:00
howardwu	85ccf1b423	Introduces LeoParser, removes pest for leo-compiler	2020-06-07 22:21:31 -07:00
howardwu	81407ac182	Fix tests	2020-06-07 21:26:49 -07:00
howardwu	6f9f397310	Migrates circuits	2020-06-07 20:45:19 -07:00
howardwu	3a554af9fe	Migrate statements	2020-06-07 20:24:27 -07:00
collin	01552cec52	test u128	2020-06-05 16:51:26 -07:00
collin	e564822a75	test u8, u16, u32, u64	2020-06-05 16:35:50 -07:00
collin	c72cf61ad2	impl integer gadget tests. test u32	2020-06-05 15:34:06 -07:00
collin	c5868b430a	impl integer tester trait and macro. test u32	2020-06-05 14:09:12 -07:00
collin	2e98490b29	fix statement test	2020-06-04 17:42:49 -07:00
collin	bd54f367cf	impl syntax error handling	2020-06-04 15:44:38 -07:00
collin	ab6ed9cfe6	use new integers path	2020-06-04 13:35:12 -07:00
collin	941417b255	cargo fmt	2020-06-02 16:58:09 -07:00
collin	c8229cef18	test field comparators	2020-06-02 16:56:11 -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	2e188b483b	impl FieldType gadgets	2020-06-02 13:25:07 -07:00
collin	2d4efdfd5b	impl FieldType operations	2020-06-02 12:51:14 -07:00
collin	4657f565f5	remove trait parameters from program types	2020-06-02 12:33:24 -07:00
collin	674f0dc83d	remove Field trait parameter from InputValue	2020-06-02 12:15:55 -07:00
collin	a2dfc5e9fc	deprecate FieldElement. use FieldType	2020-06-02 12:09:14 -07:00
collin	69df8306a5	fix dependency	2020-06-01 18:35:43 -07:00