674 Commits

Author	SHA1	Message	Date
ljedrz	8c099ab8c8	clippy: fix into_iter_on_ref ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	1a3d1fb2b8	clippy: fix collapsible_if ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	b4bb39872b	clippy: fix unused_unit ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	bdfb6f5fb5	clippy: fix redundant_closure ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	e9b9c1f72f	fix: allow a piece of own deprecated code ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	f016b972fb	clippy: fix vec_box ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	ba9fc92229	clippy: fix large_enum_variant ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	c4cdaed923	clippy: allow too_many_arguments ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	1fc9b902dd	clippy: fix redundant_clone & clone_on_copy ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	93369aed33	clippy: fix ptr_arg ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	98990721cf	clippy: fix redundant_static_lifetimes ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	a872db5ca6	clippy: fix useless_conversion ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	a4891c6f00	clippy: fix len_zero ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	7c15eabd5e	clippy: fix or_fun_call ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	ffef5089f7	clippy: fix new_without_default ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	80bb3033fd	clippy: fix single_char_pattern ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:50:43 +02:00
ljedrz	c21b5ad2f3	clippy: fix useless_format ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-06 12:12:35 +02:00
ljedrz	4f46dd2982	clippy: allow module_inception ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-05 17:18:25 +02:00
ljedrz	0cf7a247cc	clippy: fix needless_return ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-05 17:16:44 +02:00
collin	d5a9cefe7c	impl symbol table for pass 1 + pass 2 type resolution	2020-10-01 20:17:47 -07:00
collin	9ee5b58cff	Merge branch 'fix/blake2s-test-output-formatting' of github.com:AleoHQ/leo into feature/import-parser	2020-09-18 13:04:10 -07:00
collin	a76f4f6767	fix test	2020-09-18 12:57:44 -07:00
Collin Chin	13dc121091	Merge pull request #368 from AleoHQ/fix/array-return-type ... Fix/array return type	2020-09-18 12:47:04 -07:00
Collin Chin	249242266c	Merge pull request #365 from AleoHQ/feature/blake2s ... Implement core module with native blake2s circuit	2020-09-18 12:46:31 -07:00
collin	3164f6ce33	fix import tests	2020-09-18 12:41:38 -07:00
collin	557fccd9da	remove old import parser code from compiler	2020-09-18 12:35:27 -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 Chin	7dfbff7795	Merge pull request #351 from AleoHQ/feature/log-numbers ... remove types from console.log and formatted strings	2020-09-18 11:30:12 -07:00
collin	6250e95277	impl compare nested array types method for function return type	2020-09-17 12:46:55 -07:00
collin	733561cc93	remove unused test dependencies	2020-09-16 13:45:53 -07:00
collin	38d7397c2c	add unit and integration tests for core unstable blake2s circuit	2020-09-16 13:41:50 -07:00
collin	facafe6041	add core package parsing errors	2020-09-16 00:05:58 -07:00
collin	2a9d69f07f	add core circuit errors	2020-09-15 23:35:30 -07:00
collin	32c85720be	make core function arguments and returns generic	2020-09-15 21:18:48 -07:00
collin	3d3a093f2a	Merge branch 'master' of github.com:AleoHQ/leo into feature/blake2s	2020-09-15 17:27:55 -07:00
collin	b071b85b8c	remove print statements	2020-09-15 14:19:15 -07:00
collin	23bdecf6c4	fix nested return type mismatch error	2020-09-15 13:01:10 -07:00
collin	5341c28805	naive call to blake2s function working	2020-09-15 12:33:28 -07:00
collin	32cf945c61	core package imports wip	2020-09-12 23:10:01 -07:00
collin	9ed64a6627	fix conflicts	2020-09-10 16:44:25 -07:00
collin	d2810f2789	fix tests	2020-09-10 11:18:49 -07:00
collin	8a3f59e9c0	remove types from console.log and formatted strings	2020-09-07 23:40:15 -07:00
collin	5db13fa904	test Self keyword fails in main function	2020-09-07 22:07:26 -07:00
collin	e916a53ed9	add error and clean up	2020-09-07 22:04:23 -07:00
collin	5e4877e778	fix static call nested and test	2020-09-07 21:56:39 -07:00
collin	a83795eda3	fix define circuit inside circuit function bug	2020-09-07 21:15:30 -07:00
collin	09e209f5eb	fix storing self circuit variables inside circuit function bug	2020-09-07 15:06:52 -07:00
collin	17784ffb23	add tests for mutable circuit variables using self keyword	2020-09-07 13:47:50 -07:00
collin	a04160a09e	impl mutating a circuit using the self keyword inside a circuit function	2020-09-07 13:27:49 -07:00
collin	59570002f2	mutable self wip	2020-09-05 22:03:02 -07:00
collin	2d7886f951	add test comments	2020-09-03 13:58:04 -07:00
collin	3ef023b87a	impl tests for nested and tuple array combinations in Leo programs	2020-09-03 13:56:45 -07:00
collin	4932eb688e	support all combinations of nested and tuple array syntax. Test small and large arrays	2020-09-03 13:22:05 -07:00
collin	b6dc77e112	support nested array type in leo inputs	2020-09-03 11:24:23 -07:00
collin	de3564b98d	support nested array type in leo programs	2020-09-03 10:02:59 -07:00
howardwu	2620ae7bc2	chore(leo): bump version for new release	2020-09-03 03:08:33 -07:00
Howard Wu	788300ef93	Merge pull request #343 from AleoHQ/fix/input-error-messages ... Add file path to all error messages	2020-09-03 02:50:13 -07:00
howardwu	981d272fa6	Fixes array indices for both nested and tuple cases	2020-09-03 02:40:50 -07:00
howardwu	40ac13e317	Fix critical array indexing bug	2020-09-03 00:30:57 -07:00
collin	60db15596d	fix parser syntax errors. fix tests	2020-09-02 23:23:50 -07:00
collin	340e633470	fix state file errors	2020-09-02 23:05:03 -07:00
collin	0bb8c42731	fix input file errors	2020-09-02 22:59:54 -07:00
Howard Wu	ad53cdc9ba	Merge pull request #341 from AleoHQ/refactor/keywords ... Refactor/keywords	2020-09-02 21:54:59 -07:00
Howard Wu	179fba27fc	Merge pull request #337 from AleoHQ/fix/missing-license ... add missing license headers	2020-09-02 21:53:14 -07:00
collin	603438b216	impl self keyword protected name and add tests	2020-09-02 20:59:05 -07:00
collin	42b03a3ccb	impl input keyword protected name	2020-09-02 20:24:21 -07:00
collin	94f6c00f30	add data types to protected names. add identifier tests	2020-09-02 19:23:16 -07:00
collin	ddb40a3b15	add missing license headers	2020-09-02 18:45:48 -07:00
collin	c84227f69a	Merge branch 'master' of github.com:AleoHQ/leo into feature/mutable-circuit-variables	2020-09-02 18:04:00 -07:00
collin	d35188abcb	test mutable circuit variables	2020-09-02 18:01:47 -07:00
collin	87781fed03	throw an error when assigning to an immutable circuit variable	2020-09-02 17:52:17 -07:00
Collin Chin	6fc3393f5c	Merge pull request #334 from AleoHQ/feature/array-init-parenthesis ... Feature/array init parenthesis	2020-09-02 20:36:13 -04:00
Collin Chin	7bc803bd32	Merge pull request #333 from AleoHQ/feature/rename-circuit-field ... Feature/rename circuit field	2020-09-02 20:36:01 -04:00
collin	df9fb58677	impl mutable circuit variables	2020-09-02 17:31:31 -07:00
collin	51b80d1742	Merge branch 'feature/rename-circuit-field' into feature/mutable-circuit-variables	2020-09-02 16:59:30 -07:00
collin	84a874b0ce	add tests for large array initializer	2020-09-02 16:49:06 -07:00
collin	bd3b465a4f	add tests for input array initializer	2020-09-02 16:04:41 -07:00
collin	28fca854d2	rename circuit_field -> circuit_variable in compiler tests	2020-09-02 14:15:30 -07:00
collin	2d52dd2444	rename circuit_field -> circuit_variable in compiler	2020-09-02 14:13:27 -07:00
collin	d33ca81869	rename circuit_field -> circuit_variable in typed	2020-09-02 14:10:40 -07:00
Howard Wu	37f9b64343	Merge pull request #331 from AleoHQ/feature/newline-after-test ... Add newline after each successful test run	2020-09-02 13:44:41 -07:00
Howard Wu	afc8c6b931	Merge pull request #330 from AleoHQ/feature/unsigned-array-access-only ... Add compiler check for signed integer array access	2020-09-02 13:44:11 -07:00
Howard Wu	000293aab7	Merge pull request #325 from AleoHQ/refactor/array-type ... Refactor/array type	2020-09-02 13:39:11 -07:00
collin	70ebdb3172	add newline after each successful test run	2020-09-02 13:23:29 -07:00
collin	5210b1ec77	Add compiler check for signed integer array access	2020-09-02 13:11:42 -07:00
collin	f286ba241d	add type fail tests	2020-09-02 11:40:58 -07:00
collin	8cf5eb8790	all tests pass	2020-09-02 11:25:49 -07:00
collin	e7091b18ed	fix tests	2020-09-02 11:12:12 -07:00
collin	a4b0fb1a49	impl array-type for inputs in typed	2020-09-02 10:24:53 -07:00
collin	2662fd4a94	impl array-type in compiler	2020-09-02 09:40:09 -07:00
collin	f823d463f2	merge master	2020-08-31 13:31:23 -04:00
collin	4355e1cd5a	support n-group notation	2020-08-31 13:27:44 -04: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	55fdb24bfb	add tracing spans to commands. fix clean command	2020-08-21 19:22:01 -07:00
collin	bcab2df709	fix proving output	2020-08-21 18:44:19 -07:00
collin	551595026b	fix test output formatting	2020-08-21 18:08:14 -07:00
collin	2e3333cd25	fix test, login, build console output	2020-08-21 17:39:48 -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
Howard Wu	16f0e0b5f6	Merge pull request #262 from AleoHQ/feature/allocated-address ... Feature/allocated address	2020-08-20 22:37:30 -07:00
collin	147a87ec24	fix imported static access bug	2020-08-20 21:12:51 -07:00
collin	a86018c0ea	impl tests for allocated addresses	2020-08-19 03:11:30 -07:00
howardwu	0405ff4f89	Bump version and repair Leo update description	2020-08-19 03:00:30 -07:00
collin	5aad40a678	impl cond select gadget for address	2020-08-19 02:58:51 -07:00
collin	0ac23ffb97	impl alloc, enforce eq, eval eq gadgets for address	2020-08-19 02:19:02 -07:00
collin	8f2f39be86	impl address gadget	2020-08-19 01:49:58 -07:00
collin	20ae244f67	expect compiler error for integer test	2020-08-19 00:44:01 -07:00
collin	c686115305	Merge branch 'master' of github.com:AleoHQ/leo into fix/synthesis-error-stack-overflow	2020-08-19 00:12:54 -07:00
Howard Wu	f57a0cc497	Merge pull request #249 from AleoHQ/feature/console ... Implement console functions	2020-08-19 00:10:44 -07:00
collin	c3a89764bf	fix example naming and manifest files	2020-08-18 22:58:14 -07:00
collin	4cf1a55ce9	add value from implicit group type	2020-08-18 22:38:20 -07:00
collin	c7c2d14597	impl group number syntax in compiler and test zero and one	2020-08-18 13:28:08 -07:00
collin	f675e895f5	merge master	2020-08-18 11:22:56 -07:00
raychu86	ae10a78eb5	Add license header	2020-08-18 03:50:26 -07:00
collin	a8530c9012	comment out field gadget eq	2020-08-17 23:13:54 -07:00
collin	5bd2575fd5	add test to check for stack overflow	2020-08-17 01:30:13 -07:00
collin	6631da0c7e	Merge branch 'master' of github.com:AleoHQ/leo into fix/synthesis-error-stack-overflow	2020-08-17 01:21:24 -07:00
collin	ddfe8fa08a	merge master	2020-08-17 01:12:16 -07:00
howardwu	73f134130e	Fix Cargo.lock	2020-08-17 01:00:26 -07:00
collin	55d6dc5cc6	fix stack overflow error caused by SynthesisError	2020-08-16 23:13:10 -07:00
collin	3f49eb0e3f	comment out group and field tests	2020-08-16 19:52:33 -07:00
collin	e58a5f4e0e	clean up	2020-08-16 19:45:35 -07:00
collin	e6e02a0e50	refactor all tests	2020-08-16 19:14:26 -07:00
collin	47523f7f5d	start porting tests over	2020-08-16 17:20:47 -07:00
collin	4533915438	support conditional console functions	2020-08-16 16:10:07 -07:00
collin	b2866951f6	impl console functions in compiler	2020-08-16 15:18:30 -07:00
collin	f3ee68be2b	impl console functions in typed	2020-08-16 14:28:19 -07:00
collin	f9c68910b2	Merge branch 'master' of github.com:AleoHQ/leo into feature/local-data-commitment	2020-08-16 00:30:48 -07:00
collin	25468c4ed8	add verify local data commitment method to compiler	2020-08-16 00:28:39 -07:00
collin	9a2fe61c6f	write test output to filename specified by context	2020-08-15 23:25:34 -07:00
collin	ced738f852	use from y coordinate from snarkos	2020-08-15 22:59:26 -07:00
collin	ba6cc019b6	Merge branch 'master' of github.com:AleoHQ/leo into feature/group-notation	2020-08-15 22:16:58 -07:00
collin	5efa131c65	impl test context with test inputs	2020-08-15 22:09:22 -07:00
collin	e27b4e1560	fix error message	2020-08-15 17:37:46 -07:00
collin	a4b29d2651	impl new group notation for inputs compiler	2020-08-15 17:21:18 -07:00
collin	37bedc8662	impl tests for group notation	2020-08-15 16:31:07 -07:00
collin	3fe25da23f	impl new group notation compiler	2020-08-15 16:20:43 -07:00
collin	70de48d928	remove printlns	2020-08-15 13:57:03 -07:00
collin	2d6da3cd3c	parse all import definitions	2020-08-15 13:17:43 -07:00
collin	79b13138ff	add restriction	2020-08-15 01:58:33 -07:00
collin	3d794c6a20	allow newlines and trailing commas in function declarations	2020-08-15 00:25:11 -07:00
Howard Wu	7ba71bbfc1	Merge pull request #229 from AleoHQ/fix/not-equals-stack-overflow ... fixes stack overflow error	2020-08-14 21:02:11 -07:00
Howard Wu	febc050a94	Merge pull request #198 from AleoHQ/feature/tuple ... Implement tuple values and types	2020-08-14 21:00:37 -07:00