37 Commits

Author	SHA1	Message	Date
collin	ae8fb1f714	merge master fix conflicts	2020-07-30 22:41:07 -07:00
howardwu	61d92ecc91	Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks	2020-07-30 19:09:27 -07:00
collin	02833b80e0	add .in and .state tests	2020-07-30 18:17:55 -07:00
collin	ac8c940169	add parsing for .in and .state files and update errors	2020-07-29 13:20:44 -07:00
collin	9fc9e16367	parse main, record, registers, state, state_leaf types to compiler input	2020-07-28 16:57:03 -07:00
collin	b9b459ecff	add main, record, registers, state, state_leaf sections to types	2020-07-27 16:28:56 -07:00
collin	5ae8d550e5	add main, record, registers, state, state_leaf section headers to pest	2020-07-27 15:06:36 -07:00
collin	08f33eda01	add double bracket syntax to pest for public/private	2020-07-27 13:59:51 -07:00
collin	92bfad8cc3	clean up pr. remove field comparison	2020-07-17 16:14:13 -07:00
collin	df49f798de	fix leo-inputs pest for i types	2020-07-15 21:57:55 -07:00
collin	d30d72d76e	impl i8 i16 i32 i64 i128 for leo-inputs	2020-07-15 20:28:22 -07:00
collin	aa708b8084	fix value.field bug	2020-07-08 03:30:15 -07:00
collin	f29fac883f	add arithmetic expression module	2020-07-07 22:51:41 -07:00
collin	a6092e9a2f	add field module	2020-07-07 19:40:01 -07:00
collin	423e804a27	impl address inputs	2020-07-06 06:17:08 -07:00
Howard Wu	b4cfa64167	Adds ci.yml (#77) ... * Adds ci.yml * Update ci script * Update Cargo.toml * Update to ubuntu-latest * Update dependencies * Update git deps with rev * Update ci script * Update ci script * Update ci script * Update code coverage * Update code coverage * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI * Update CI script * Update CI script	2020-06-27 20:16:38 -07:00
collin	5865149c06	fix index evaluation	2020-06-22 18:28:30 -07:00
collin	ec8a804654	uncomment tests, remove unused method	2020-06-19 23:21:55 -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
howardwu	03b59b573b	Update file extensions to new convention	2020-06-19 22:07:02 -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	1e0903c32b	merge master, update readme	2020-06-16 12:25:42 -07:00
howardwu	7a8aaf8166	Improves compilation time by turning off unused features in snarkOS	2020-06-15 21:27:25 -07:00
collin	c77e6a51b3	remove visibility syntax and functionality	2020-06-15 13:38:07 -07:00
collin	3f668422fd	enforce name, type, visibility of inputs. add tests	2020-06-11 14:40:27 -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
collin	b6836b37d4	add leo-inputs ast	2020-06-08 14:07:06 -07:00
collin	8846f62c8f	add parser	2020-06-08 12:24:41 -07:00
collin	08e6eb145c	update leo-inputs ast	2020-06-08 12:00:27 -07:00
collin	6919f62d44	impl leo-inputs	2020-05-06 12:57:24 -07:00