591 Commits

Author	SHA1	Message	Date
collin	8ff4ddafb2	remove CS trait from program struct	2020-06-15 11:11:35 -07:00
howardwu	5afe541b3e	Adds .github	2020-06-13 17:59:35 -07:00
collin	643cd3026e	initial private boolean input support	2020-06-09 16:36:15 -07:00
collin	eeb438ed19	Merge branch 'master' of https://github.com/AleoHQ/language into feature/leo-inputs	2020-06-09 12:14:43 -07:00
collin	834055abf5	use include_bytes for boolean test	2020-06-08 17:28:09 -07:00
collin	8846f62c8f	add parser	2020-06-08 12:24:41 -07:00
collin	e10a1e1be0	merge master	2020-06-08 10:49:31 -07:00
howardwu	cdc4e9bdbb	Update travis.yml	2020-06-07 23:59:37 -07:00
howardwu	79bea057b3	Remove unused dependencies, add profiles	2020-06-07 23:01:57 -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	b9baafd57f	Migrates integer, identifier, and input_value	2020-06-07 18:22:59 -07:00
howardwu	3286eac221	Removes unused imports and reorders toml in leo-compiler	2020-06-06 23:26:48 -07:00
howardwu	7f566782e3	Refactors SyntaxError to leo-ast	2020-06-06 23:23:26 -07:00
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