31 Commits

Author	SHA1	Message	Date
collin	8457b05354	remove mut circuit variable definition	2020-12-01 11:54:51 -05:00
collin	69a8b61efe	add type-inference module	2020-11-12 10:28:24 -08:00
collin	eb301d310b	separate type-inference module	2020-11-11 14:32:46 -08:00
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	7589fa65c5	rename dynamic-check -> type-inference 2	2020-10-30 12:49:01 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	d35188abcb	test mutable circuit variables	2020-09-02 18:01:47 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -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	f334ba646d	fix mutability tests	2020-07-30 16:37:01 -07:00
collin	ac8c940169	add parsing for .in and .state files and update errors	2020-07-29 13:20:44 -07:00
collin	6fbb848015	add const mut check	2020-06-29 20:29:53 -07:00
collin	cc8a3d9878	move integer enum and errors into compiler	2020-06-25 14:27:19 -07:00
collin	82a0afc17e	convert leo-inputs to span with errors. fix tests	2020-06-19 23:02:58 -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	54b1453ddc	include_bytes mutability tests	2020-06-08 18:55:44 -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	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	28451ee269	impl array, basic field, basic group tests	2020-05-19 17:08:38 -07:00
collin	9a9e37e0f4	add new testing methods. add boolean tests.	2020-05-19 15:45:40 -07:00
collin	e5fea1e468	finish mutability tests. add testing helpers	2020-05-19 12:41:21 -07:00
collin	a9a8cb95c6	impl mutability tests. simplify mut expression evaluation	2020-05-19 12:01:19 -07:00