46 Commits

Author	SHA1	Message	Date
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	7976c739e9	use include_str in program input + state tests	2020-12-04 15:20:59 -05:00
collin	5db2b07cb2	add test for using not operator on mutable variable	2020-11-18 18:23:11 -08: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	7589fa65c5	rename dynamic-check -> type-inference 2	2020-10-30 12:49:01 -07:00
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	f2a808cbe7	impl membership type assertion error handling	2020-10-23 17:31:41 -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	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	6dfc17ea46	fix function tests	2020-07-30 12:10:33 -07:00
collin	41559ba3a0	fix circuit tests	2020-07-30 11:11:54 -07:00
collin	a4448cdd12	add manual main input method for testing. fix field tests	2020-07-29 23:32:21 -07:00
collin	61f7c54858	refactor testing compiler to handle .in .out .state files. fix boolean tests	2020-07-29 20:52:37 -07:00
collin	1b99d62de8	adds compiler output file and output bytes data structures	2020-07-29 18:32:35 -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	d1dfdcb878	fix boolean namespaces and errors	2020-06-20 18:43:45 -07:00
collin	9e93462f2b	merge master	2020-06-19 23:16:12 -07:00
collin	82a0afc17e	convert leo-inputs to span with errors. fix tests	2020-06-19 23:02:58 -07:00
collin	3d1fe9cc4b	convert statements to span with error	2020-06-19 19:04:13 -07:00
collin	71a0e14bea	Merge branch 'master' of https://github.com/AleoHQ/language into feature/const	2020-06-17 17:32:24 -07:00
collin	cf9d903a2a	remove reserved characters	2020-06-16 19:18:02 -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	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	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	81407ac182	Fix tests	2020-06-07 21:26:49 -07:00
collin	01552cec52	test u128	2020-06-05 16:51:26 -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	69df8306a5	fix dependency	2020-06-01 18:35:43 -07:00
collin	d1297fc60c	impl group partialeq, eq, enforce_eq, cond_enforce_eq	2020-06-01 12:15:49 -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