23 Commits

Author	SHA1	Message	Date
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	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
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	6ad5dc75d5	Migrates program	2020-06-07 20:57:22 -07:00
howardwu	cb83b42cfc	Clean up generics	2020-06-07 20:53:39 -07:00
howardwu	35a897282f	Migrates imports	2020-06-07 20:50:37 -07:00
howardwu	6f9f397310	Migrates circuits	2020-06-07 20:45:19 -07:00
howardwu	928f67c00b	Migrates Functions	2020-06-07 20:35:50 -07:00
howardwu	3a554af9fe	Migrate statements	2020-06-07 20:24:27 -07:00
howardwu	bc1c37faa0	Restructure types	2020-06-07 19:47:35 -07:00
howardwu	40eca302a6	Migrate assignee	2020-06-07 19:39:43 -07:00
howardwu	5cdcdd5c12	Migrates expressions, type, and variable to leo-types	2020-06-07 19:19:38 -07:00
howardwu	b9baafd57f	Migrates integer, identifier, and input_value	2020-06-07 18:22:59 -07:00