277 Commits

Author	SHA1	Message	Date
howardwu	a72a333877	Migrates ast to leo-ast module	2020-06-06 23:17:40 -07:00
collin	3e21184631	use snarkos master	2020-06-04 22:53:52 -07:00
collin	ab6ed9cfe6	use new integers path	2020-06-04 13:35:12 -07:00
collin	887e374e28	remove extra dependency and rename error	2020-06-01 18:05:24 -07:00
collin	01cc8e3066	delete benchmark	2020-06-01 17:54:39 -07:00
collin	8852c17857	simplify GroupType trait parameters	2020-06-01 17:52:33 -07:00
collin	5c005c4b8f	pest implicit number type	2020-05-15 12:51:08 -07:00
collin	abb50628a0	deprecate crate failure in favor of thiserror	2020-05-09 15:34:54 -07:00
collin	36018853a7	impl compiler error handling	2020-05-08 16:35:00 -07:00
collin	6919f62d44	impl leo-inputs	2020-05-06 12:57:24 -07:00
collin	10ca30ac93	impl pass by value functions	2020-05-04 16:42:40 -07:00
collin	b091d6c63b	fix conflicts	2020-05-04 10:33:03 -07:00
howardwu	1350834bcd	Implements caching of builds and setups for reusable work	2020-05-02 20:10:22 -07:00
howardwu	853faf54f6	Adds verification key output support	2020-05-02 17:38:14 -07:00
howardwu	f86c9d8076	Adds proving key file	2020-05-02 17:28:20 -07:00
howardwu	219f90cb17	Adds starter integration tests for u32	2020-05-01 22:10:40 -07:00
howardwu	d115870815	Moves compiler.rs to leo-compiler module	2020-04-26 22:37:08 -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	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
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