141 Commits

Author	SHA1	Message	Date
howardwu	0405ff4f89	Bump version and repair Leo update description	2020-08-19 03:00:30 -07:00
collin	ddfe8fa08a	merge master	2020-08-17 01:12:16 -07:00
collin	25468c4ed8	add verify local data commitment method to compiler	2020-08-16 00:28:39 -07:00
collin	5efa131c65	impl test context with test inputs	2020-08-15 22:09:22 -07:00
howardwu	f4f9b30dd2	Rename directory types -> typed	2020-08-02 21:02:25 -07:00
howardwu	c8b82f12a8	Rename directory leo-input -> input	2020-08-02 21:00:23 -07:00
howardwu	f40ba91784	Rename types -> typed	2020-08-02 20:56:22 -07:00
howardwu	3ccfd2c764	Adds ci_skip	2020-08-02 19:57:28 -07:00
collin	e22e962588	rename leo-inputs -> leo-input	2020-07-31 18:49:01 -07:00
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	a4448cdd12	add manual main input method for testing. fix field tests	2020-07-29 23:32:21 -07:00
collin	61f7c54858	refactor testing compiler to handle .in .out .state files. fix boolean tests	2020-07-29 20:52:37 -07:00
collin	1b99d62de8	adds compiler output file and output bytes data structures	2020-07-29 18:32:35 -07:00
collin	cc33c68bea	fix field tests, use num_bigint	2020-07-17 12:44:08 -07:00
collin	8f397a3382	fix field comparator	2020-07-16 20:00:28 -07:00
collin	eb5ab1fbe1	move comparator into leo-gadgets. impl cmp for i types	2020-07-14 18:32:54 -07:00
collin	8ca5f5ce66	use account public key in snarkos dpc	2020-07-06 03:18:20 -07:00
Collin Chin	84002cf3e7	Merge pull request #82 from AleoHQ/dependabot/cargo/sha2-0.9.0 ... Bump sha2 from 0.8.2 to 0.9.0	2020-06-29 13:56:39 -07:00
collin	4e4e21a53e	merge master	2020-06-29 12:46:38 -07:00
dependabot-preview[bot]	f061c8ea82	Bump sha2 from 0.8.2 to 0.9.0 ... Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.8.2 to 0.9.0. - [Release notes](https://github.com/RustCrypto/hashes/releases) - [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.8.2...sha2-v0.9.0) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>	2020-06-29 11:09:36 +00: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	504480b3d7	serialize program into bytes file	2020-06-24 21:05:11 -07:00
collin	4d1bf9071c	add span to input values	2020-06-16 19:13:11 -07:00
howardwu	7a8aaf8166	Improves compilation time by turning off unused features in snarkOS	2020-06-15 21:27:25 -07:00
collin	643cd3026e	initial private boolean input support	2020-06-09 16:36:15 -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	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	5c005c4b8f	pest implicit number type	2020-05-15 12:51:08 -07:00
collin	36018853a7	impl compiler error handling	2020-05-08 16:35:00 -07:00
howardwu	1350834bcd	Implements caching of builds and setups for reusable work	2020-05-02 20:10:22 -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	8c5be763ff	Compiler wip	2020-04-23 23:57:05 -07:00
howardwu	0a49dd1ec3	Adds compiler module	2020-04-23 18:52:43 -07:00