62 Commits

Author	SHA1	Message	Date
collin	a4a9ed05ea	impl constraints and tests for multiple imports	2020-06-26 17:12:04 -07:00
collin	b5d90b857b	impl import package syntax for ast and types	2020-06-26 14:18:05 -07:00
collin	a85d831eb9	impl serde for program	2020-06-24 17:03:41 -07:00
collin	7bc52ada9e	evaluate all indices to expressions	2020-06-24 16:57:15 -07:00
collin	f1e9df7c95	evaluate range bounds to rust usize type	2020-06-24 16:30:49 -07:00
collin	1fafbab5ee	parse integer later in program. derive serde for basic program types	2020-06-24 16:02:20 -07:00
collin	5f0b3e2b0c	parse boolean later in program	2020-06-24 15:33:05 -07:00
collin	2291cc51fd	fix return type namespaces	2020-06-23 17:48:35 -07:00
collin	c2862c7a0c	add formatting for cli errors	2020-06-22 23:20:55 -07:00
collin	5bc1bc022d	add file path to formatted errors	2020-06-22 22:32:57 -07:00
collin	0a990bdb4e	Merge branch 'master' of https://github.com/AleoHQ/language into fix/namespace	2020-06-22 18:35:10 -07:00
collin	5865149c06	fix index evaluation	2020-06-22 18:28:30 -07:00
collin	c513fd1626	reformat import errors	2020-06-22 16:28:12 -07:00
collin	1dc79ef604	add unique namespaces to function calls	2020-06-22 15:42:46 -07:00
collin	9f27d22486	remove non-formatted errors for program value	2020-06-20 20:40:17 -07:00
collin	632d98b284	remove non-formatted errors for primitive data types	2020-06-20 18:59:52 -07:00
collin	d1dfdcb878	fix boolean namespaces and errors	2020-06-20 18:43:45 -07:00
collin	172ab78497	fix field namespaces and errors	2020-06-20 17:49:09 -07:00
collin	f915cab9f2	fix conflicts	2020-06-20 16:37:34 -07:00
collin	2e02d0906c	fix integer operation namespaces	2020-06-20 16:30:44 -07:00
collin	837a006e51	move error struct to types. fix integer namespaces	2020-06-20 15:24:46 -07:00
howardwu	88c0feb334	Change to circuit_name in internal variables	2020-06-20 01:18:53 -07:00
howardwu	3df120f9d0	Rename identifier to circuit_name in Circuit type	2020-06-20 00:45:41 -07:00
collin	82a0afc17e	convert leo-inputs to span with errors. fix tests	2020-06-19 23:02:58 -07:00
collin	2743b23e1e	convert functions to span with error	2020-06-19 21:49:42 -07:00
collin	f3e81184c1	convert expressions to span with error	2020-06-19 21:38:36 -07:00
collin	3d1fe9cc4b	convert statements to span with error	2020-06-19 19:04:13 -07:00
collin	6922d5dd73	convert identifer to span with error	2020-06-19 17:28:50 -07:00
collin	c54f1817ce	impl custom span and error structs	2020-06-19 15:47:09 -07:00
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	874bbe5a10	merge remove/visiblity	2020-06-16 15:14:52 -07:00
collin	1e0903c32b	merge master, update readme	2020-06-16 12:25:42 -07:00
Collin Chin	c8b6f66210	Merge pull request #62 from AleoHQ/feature/default ... Improves compilation time by turning off unused features in snarkOS	2020-06-16 09:51:14 -07:00
collin	1214bed387	Merge branch 'master' of https://github.com/AleoHQ/language into refactor/conditional	2020-06-15 21:37:43 -07:00
howardwu	7a8aaf8166	Improves compilation time by turning off unused features in snarkOS	2020-06-15 21:27:25 -07:00
collin	0168902a7d	update snarkos master	2020-06-15 19:32:37 -07:00
collin	eeaef78632	impl allocate value for let definition	2020-06-15 19:25:16 -07:00
collin	b423e532cb	let and const wip	2020-06-15 18:25:33 -07:00
collin	c77e6a51b3	remove visibility syntax and functionality	2020-06-15 13:38:07 -07:00
collin	50be017881	impl assert statement in basic conditional. use eq comparator gadget	2020-06-12 18:28:41 -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	9d15a0b038	only allow (x,y) affine groups	2020-06-10 18:30:38 -07:00
collin	6c7355a89c	public input fields, arrays, group tuples	2020-06-10 17:21:47 -07:00
collin	67b8a48fcf	public input booleans and integers	2020-06-10 16:14:55 -07:00
collin	c6d3221289	private input primitives and array support	2020-06-09 19:29:26 -07:00
collin	643cd3026e	initial private boolean input support	2020-06-09 16:36:15 -07:00
howardwu	837d107a54	cargo fmt	2020-06-07 23:30:39 -07:00
howardwu	653f0de69f	Update dependencies	2020-06-07 22:43:53 -07:00