28 Commits

Author	SHA1	Message	Date
howardwu	f80c3d236a	Renames InnerProgram to InternalProgram	2021-02-04 17:31:44 -08:00
howardwu	c935d6a486	Update license to 2021	2021-02-01 20:26:56 -08:00
howardwu	2d64515763	Migrate to snarkVM	2020-12-30 12:40:45 -04:00
collin	1dbd72c453	Merge branch 'master' of github.com:AleoHQ/leo into expression-breakout	2020-12-16 13:46:43 -05:00
collin	00dac3709a	Merge branch 'master' of github.com:AleoHQ/leo into fix/prefer-index-map	2020-12-08 16:07:49 -05:00
Protryon	f9dc75f70c	expression breakout	2020-12-07 17:05:44 -08:00
collin	254a2b736e	cargo +nightly clippy	2020-12-07 17:10:37 -05:00
collin	bcaf7d3e66	use index map in state module	2020-12-07 12:12:31 -05:00
collin	1a3020a9ca	add documentation for state methods	2020-11-12 12:29:47 -08:00
collin	1a45110e8e	rename leo ast imports as Ast_	2020-11-12 12:10:19 -08:00
collin	74b346f3e6	remove deprecated names from comments and variables	2020-11-11 12:47:54 -08:00
collin	a8c5885836	rename core-ast -> ast	2020-10-30 17:31:09 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
ljedrz	69d35063f2	perf: use .to_string() instead of single-param format! ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-16 15:52:45 +02:00
ljedrz	e1e22a2310	perf: vector pre-allocation and associated tweaks ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-08 11:47:03 +02:00
ljedrz	4f46dd2982	clippy: allow module_inception ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-05 17:18:25 +02:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	8971821820	pass crh parameters into commitment merkle path verify method	2020-08-12 20:50:37 -07:00
collin	9b5d14970d	use system parameters struct	2020-08-12 19:15:55 -07:00
collin	4f3722033a	add verify_local_data_commitment test	2020-08-12 19:04:41 -07:00
collin	61bafc96a9	add verify_record_commitment test	2020-08-12 15:35:32 -07:00
collin	a50dfb07bf	add find input function to utilities	2020-08-12 13:29:02 -07:00
collin	7ff3fb1b96	handle errors	2020-08-12 13:16:29 -07:00
collin	251783b9bc	rename files	2020-08-12 12:58:32 -07:00
collin	f986b21b1f	add typed state leaf values to parsing	2020-08-12 12:50:23 -07:00
collin	83ea7c18b9	add typed state values parsing	2020-08-12 12:30:30 -07:00
collin	36b0d6a508	add initial local data commitment check	2020-08-12 11:59:35 -07:00
collin	89d76688d7	add leo-state module	2020-08-11 23:51:56 -07:00