467 Commits

Author	SHA1	Message	Date
collin	3e21184631	use snarkos master	2020-06-04 22:53:52 -07:00
collin	01cc8e3066	delete benchmark	2020-06-01 17:54:39 -07:00
collin	abb50628a0	deprecate crate failure in favor of thiserror	2020-05-09 15:34:54 -07:00
collin	6919f62d44	impl leo-inputs	2020-05-06 12:57:24 -07:00
howardwu	853faf54f6	Adds verification key output support	2020-05-02 17:38:14 -07:00
howardwu	026b59a67a	Rename program to compiler	2020-04-26 22:34:15 -07:00
howardwu	18768bbec7	Adds command	2020-04-25 01:47:10 -07:00
howardwu	8c5be763ff	Compiler wip	2020-04-23 23:57:05 -07:00
howardwu	0a49dd1ec3	Adds compiler module	2020-04-23 18:52:43 -07:00
howardwu	1ec03fdb09	Migrate to workspace	2020-04-23 18:33:43 -07:00
howardwu	51c52c8676	Updates	2020-04-20 22:12:09 -07:00
howardwu	a42d9eeb10	Updates Cargo.toml	2020-04-20 21:34:15 -07:00
collin	c4f233e142	add constraints and snark functions	2020-03-31 13:47:51 -07:00
collin	c798635e29	basic program compilation from ast	2020-03-23 15:19:47 -07:00
howardwu	a143322f53	Working parser	2020-03-13 10:02:39 -07:00
howardwu	078db23fa6	AST WIP	2020-03-11 14:56:54 -07:00
howardwu	bc4c60712b	Initial commit	2020-03-09 20:55:41 -07:00