81 Commits

Author	SHA1	Message	Date
howardwu	c20822e828	Update revision	2021-01-02 18:17:26 -04:00
howardwu	11fc60c9e0	Update revision	2020-12-30 18:07:20 -04:00
howardwu	f4ad1ffff4	Add revision for snarkvm	2020-12-30 12:54:48 -04:00
howardwu	2d64515763	Migrate to snarkVM	2020-12-30 12:40:45 -04:00
howardwu	141ee7eb0f	Resolve merge conflicts	2020-12-30 11:37:51 -04:00
howardwu	1d9215a1ac	Migrates to hot 1.1.4 and adds memory usage improvements for programs	2020-12-30 11:32:10 -04:00
howardwu	1e79277728	Remove tracing-subscriber dep from compiler	2020-12-20 10:20:13 -04:00
dependabot-preview[bot]	8894f10de7	Bump indexmap from 1.6.0 to 1.6.1 ... Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1. - [Release notes](https://github.com/bluss/indexmap/releases) - [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>	2020-12-15 10:44:12 +00:00
howardwu	9038c5a17a	chore(leo): bump version for new release	2020-12-14 13:57:01 -04:00
collin	1dbdf23d5a	use index map in compiler module	2020-12-07 12:18:20 -05:00
howardwu	dbae691e49	chore(leo): bump version for new release	2020-12-03 16:16:42 -04:00
howardwu	74f7f24b19	chore(leo): bump version for new release	2020-12-01 22:57:11 -04:00
collin	69a8b61efe	add type-inference module	2020-11-12 10:28:24 -08:00
collin	667392237f	add symbol-table module	2020-11-11 14:57:39 -08:00
collin	d4b6a6d1f8	separate symbol-table module	2020-11-11 14:42:57 -08:00
collin	eb301d310b	separate type-inference module	2020-11-11 14:32:46 -08:00
collin	05a83950e5	bump versions fix conflicts	2020-11-11 12:04:48 -08:00
howardwu	0d966d1d5c	chore(leo): bump version for new release	2020-11-06 19:56:12 -08:00
collin	4da923eec4	rename core-packages -> core	2020-10-30 17:36:48 -07:00
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	ffcd93f781	rename ast -> grammar 1	2020-10-30 17:17:17 -07:00
collin	5a46cb5bb0	rename leo-core -> leo-core-packages	2020-10-30 13:02:44 -07:00
collin	7589fa65c5	rename dynamic-check -> type-inference 2	2020-10-30 12:49:01 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
collin	7cf41558bc	rename static-check -> symbol-table 3	2020-10-30 10:51:45 -07:00
collin	f1490a994b	impl dynamic check errors	2020-10-23 15:23:48 -07:00
collin	d54749145b	use import parser errors in compiler	2020-09-18 12:26:51 -07:00
collin	22422c1b55	create separate module for imports	2020-09-18 12:04:10 -07:00
collin	38d7397c2c	add unit and integration tests for core unstable blake2s circuit	2020-09-16 13:41:50 -07:00
collin	5341c28805	naive call to blake2s function working	2020-09-15 12:33:28 -07:00
howardwu	2620ae7bc2	chore(leo): bump version for new release	2020-09-03 03:08:33 -07:00
howardwu	bf82bf4d1b	chore(leo): bump version for new release	2020-08-28 23:26:19 -07:00
howardwu	12971b9cbb	Update Cargo.toml	2020-08-27 01:33:00 -07:00
howardwu	cc183475ee	Update logging with custom formatter	2020-08-27 00:55:29 -07:00
collin	912a192b5c	use tracing in compiler	2020-08-21 16:36:50 -07:00
collin	3f1b1e857c	use tracing in package and leo cli	2020-08-21 16:06:48 -07:00
collin	da843e452e	use tracing for build command	2020-08-21 15:49:51 -07:00
howardwu	c07958e292	Clean up Cargo.toml	2020-08-21 05:09:48 -07:00
howardwu	b6238470cc	Update Cargo.toml	2020-08-21 03:07:15 -07:00
howardwu	4da4fc4344	Update cargo.toml	2020-08-21 02:54:04 -07:00
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