46 Commits

Author	SHA1	Message	Date
collin	7589fa65c5	rename dynamic-check -> type-inference 2	2020-10-30 12:49:01 -07:00
collin	8e75e36532	manually impl PartialEq for array types	2020-10-23 21:54:19 -07:00
collin	d2810f2789	fix tests	2020-09-10 11:18:49 -07:00
collin	2d7886f951	add test comments	2020-09-03 13:58:04 -07:00
collin	3ef023b87a	impl tests for nested and tuple array combinations in Leo programs	2020-09-03 13:56:45 -07:00
collin	4932eb688e	support all combinations of nested and tuple array syntax. Test small and large arrays	2020-09-03 13:22:05 -07:00
collin	b6dc77e112	support nested array type in leo inputs	2020-09-03 11:24:23 -07:00
collin	de3564b98d	support nested array type in leo programs	2020-09-03 10:02:59 -07:00
howardwu	981d272fa6	Fixes array indices for both nested and tuple cases	2020-09-03 02:40:50 -07:00
howardwu	40ac13e317	Fix critical array indexing bug	2020-09-03 00:30:57 -07:00
collin	94f6c00f30	add data types to protected names. add identifier tests	2020-09-02 19:23:16 -07:00
collin	84a874b0ce	add tests for large array initializer	2020-09-02 16:49:06 -07:00
collin	bd3b465a4f	add tests for input array initializer	2020-09-02 16:04:41 -07:00
collin	f286ba241d	add type fail tests	2020-09-02 11:40:58 -07:00
collin	e7091b18ed	fix tests	2020-09-02 11:12:12 -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	e6e02a0e50	refactor all tests	2020-08-16 19:14:26 -07:00
collin	47523f7f5d	start porting tests over	2020-08-16 17:20:47 -07:00
collin	1fd3e946f8	use compound atomic rules in pest, update tests	2020-08-05 18:13:50 -07:00
collin	1f1a49a5d3	add tests for invalid integers in array size	2020-08-03 14:56:45 -07:00
collin	3d35fb026b	outputs -> output	2020-07-31 21:15:33 -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	41559ba3a0	fix circuit tests	2020-07-30 11:11:54 -07:00
collin	df9b94ef73	fix array tests	2020-07-30 00:56:17 -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	bfda4bb95c	fix tests	2020-07-15 20:42:57 -07:00
collin	cc8a3d9878	move integer enum and errors into compiler	2020-06-25 14:27:19 -07:00
collin	5bc1bc022d	add file path to formatted errors	2020-06-22 22:32:57 -07:00
collin	837a006e51	move error struct to types. fix integer namespaces	2020-06-20 15:24:46 -07:00
collin	82a0afc17e	convert leo-inputs to span with errors. fix tests	2020-06-19 23:02:58 -07:00
collin	7248814ac7	impl let/const for circuits and value wrappers	2020-06-16 09:49:45 -07:00
collin	67b8a48fcf	public input booleans and integers	2020-06-10 16:14:55 -07:00
collin	8e8f00467a	include_bytes array tests	2020-06-08 17:51:06 -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	01552cec52	test u128	2020-06-05 16:51:26 -07:00
collin	ab6ed9cfe6	use new integers path	2020-06-04 13:35:12 -07:00
collin	69df8306a5	fix dependency	2020-06-01 18:35:43 -07:00
collin	8a5d3e7718	update tests and leo cli	2020-05-29 17:34:31 -07:00
collin	31ec24670c	add groupType to compiler	2020-05-29 16:43:39 -07:00
collin	19f6e64c48	remove snarkos group trait from compiler	2020-05-29 15:55:57 -07:00
collin	50bf469d8b	impl basic circuit tests	2020-05-19 21:59:00 -07:00
collin	28451ee269	impl array, basic field, basic group tests	2020-05-19 17:08:38 -07:00