958 Commits

Author	SHA1	Message	Date
bors[bot]	a7c9caf4b3	Merge #653 ... 653: Fix return type error for input-dependent branches r=collinc97 a=Protryon This PR fixes failure to handle input-dependent branches. No tests added here since base case is covered, and this only occurs with production constraints. Should fix #535. There is an additional issue not solved by this PR on branching on booleans from input. Co-authored-by: Protryon <max.bruce12@gmail.com>	2021-02-12 23:36:59 +00:00
gluax	eda78dd968	clippy fix	2021-02-12 15:22:59 -05:00
gluax	500a3e76d2	fix negative fields, add test for them	2021-02-12 15:20:58 -05:00
Collin Chin	6ac356819c	Merge pull request #656 from AleoHQ/dependency/snarkvm-0.0.4 ... [Dependencies] bump snarkvm module versions to 0.0.4	2021-02-11 19:50:48 -08:00
collin	537ea39513	bump snarkvm module versions to 0.0.4	2021-02-11 17:33:53 -08:00
bors[bot]	fa53e75f51	Merge #641 ... 641: Bug/564 input array len not enforced r=collinc97 a=gluax Resolves #564, depends on #563. The changes for this branch have pulled from PR #638, which is the PR that fixes #563. Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>	2021-02-11 21:41:53 +00:00
bors[bot]	d418b5330c	Merge #638 ... 638: bug/563-array-input-wrong-dimensions r=collinc97 a=gluax Closes #563. Fixes the array dimension builder when coming from the input file. Adds a test for it as well. Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>	2021-02-11 21:22:50 +00:00
Protryon	0bd324bcb4	fix return type error for input-dependent branches	2021-02-11 08:52:22 -08:00
gluaxspeed	9a015e1e5f	console assert tests	2021-02-11 10:46:54 -05:00
gluaxspeed	cedcc6e1d1	console assert tests	2021-02-11 10:46:20 -05:00
Collin Chin	20a046bbbb	Merge pull request #643 from AleoHQ/feat/readme_license ... Adds READMEs and LICENSEs to each Leo workspace member	2021-02-11 00:58:22 -08:00
bors[bot]	a3f0f9d587	Merge #633 #634 ... 633: duplicate name context test r=collinc97 a=gluax Adding a test for duplicate name context that was resolved in #546. 634: fn call array params r=collinc97 a=gluax Adding a test for bug #522, which was resolved by the asg. Closes #522 Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>	2021-02-11 07:53:26 +00:00
bors[bot]	b72b5ac125	Merge #620 ... 620: Feature/254 strengthen import rules r=collinc97 a=gluax Grammar changes are a bit different than what was suggested in the original feature request #254. However, it should be logically equivalent and I think makes more sense on the rust side. Closes #254 Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>	2021-02-11 07:31:56 +00:00
howardwu	777a67fb40	Adds README.md	2021-02-10 22:27:37 -08:00
howardwu	55db999a9e	Adds LICENSE.md	2021-02-10 22:23:45 -08:00
gluaxspeed	9812c76e1f	fix test needed to expect it to fail	2021-02-10 12:49:18 -05:00
gluaxspeed	42fb5ea635	merge from pr 638	2021-02-10 11:59:42 -05:00
gluaxspeed	202f056531	fix pushed but depends on pr #638	2021-02-10 11:57:10 -05:00
gluaxspeed	e48b971789	reverse iter for building array, add test case for it	2021-02-09 10:26:16 -05:00
gluaxspeed	2f6cc6c995	add test for the fixed bug	2021-02-08 15:42:37 -05:00
gluaxspeed	9651af3089	add test for the fixed bug	2021-02-08 13:44:30 -05:00
howardwu	1898cc6840	chore(leo): bump version for new release	2021-02-07 08:14:56 -08:00
gluaxspeed	f7add0fc98	re-ignore import test-many in compiler, it breaks pipeline	2021-02-05 15:33:48 -05:00
gluaxspeed	26f9973e14	resolve merge conflict, asg + grammar tests	2021-02-05 14:20:48 -05:00
gluaxspeed	59acb1a022	unignore test and add test case to thoroughly test	2021-02-05 11:36:21 -05:00
Collin Chin	770f660f3a	Merge pull request #617 from AleoHQ/const-args ... [Feature] Const Function Arguments	2021-02-04 23:05:51 -08:00
Collin Chin	2bb10c2e8b	Merge pull request #621 from AleoHQ/dependency/snarkvm-0.0.3 ... [Dependencies] Bump snarkvm module versions	2021-02-04 22:57:36 -08:00
Collin Chin	a239e17bb6	Merge pull request #622 from AleoHQ/refactor/compiler ... Adds ASG struct, updates ASG to support debug	2021-02-04 22:52:40 -08:00
howardwu	2a4052975f	Fix clippy	2021-02-04 20:34:24 -08:00
howardwu	749e70b5b0	Fix clippy	2021-02-04 20:32:59 -08:00
howardwu	1b99c42470	Adds ASG struct, updates ASG to support debug	2021-02-04 19:21:17 -08:00
howardwu	f80c3d236a	Renames InnerProgram to InternalProgram	2021-02-04 17:31:44 -08:00
howardwu	fb7a9f4a18	Simplify compiler calls	2021-02-04 17:26:29 -08:00
Howard Wu	fd5ce2f393	Merge pull request #585 from AleoHQ/feature/228-implied-circuit-name ... [Feature] 228 implied circuit name	2021-02-04 14:28:14 -08:00
collin	f5be2e037f	add inline circuit integration tests	2021-02-04 13:18:28 -08:00
collin	c706ef65b8	bump snarkvm module versions	2021-02-04 13:00:30 -08:00
Protryon	5d4fbdbbe2	unignore swap test	2021-02-04 07:36:41 -08:00
Protryon	9c6eb23a1e	const func arguments	2021-02-04 07:35:12 -08:00
howardwu	90fc6a9c12	chore(leo): bump version for new release	2021-02-03 13:34:03 -08:00
howardwu	0d907bbb26	chore(leo): bump version for new release	2021-02-03 12:36:17 -08:00
Howard Wu	59aa8ac21c	Merge pull request #603 from AleoHQ/asg-return-check ... Remove compiler return check	2021-02-03 11:28:35 -08:00
Protryon	fcbb5e4fd9	remove compiler return check	2021-02-02 19:33:41 -08:00
Protryon	abee76680b	add test	2021-02-02 18:42:00 -08:00
Protryon	b078c6e09f	remove mutable constrainedvalue	2021-02-02 18:37:27 -08:00
Protryon	e028255513	update license headers	2021-02-02 11:31:54 -08:00
Protryon	c417f2f082	fix build	2021-02-02 11:11:43 -08:00
collin	90ee77cad5	mirror swap test in asg	2021-02-02 11:09:36 -08:00
Protryon	ca549258b8	blake2s unwrap muts	2021-02-02 11:08:57 -08:00
Protryon	da52984385	output bytes update	2021-02-02 11:08:57 -08:00
Protryon	80d5c87b8a	asg	2021-02-02 11:08:56 -08:00
howardwu	cbd45e56d7	Resolves unknown clippy flags	2021-02-01 20:39:01 -08:00
howardwu	c935d6a486	Update license to 2021	2021-02-01 20:26:56 -08:00
gluaxspeed	2bda443d9c	added more tests	2021-01-27 12:10:34 -05:00
collin	d7cced6e53	rustup update && cargo clippy	2021-01-26 14:55:15 -05:00
gluaxspeed	29ff3c90b6	error and error message for deprecated test syntax, fmt, clean up	2021-01-25 15:12:10 -05:00
collin	fe78b2ec11	deprecate old test function syntax	2021-01-21 16:50:15 -05:00
Protryon	3c063d725f	rename conditional expr to ternary	2021-01-14 05:27:31 -08:00
howardwu	1a36a262b8	chore(leo): bump version for new release	2021-01-12 17:03:16 -04:00
Howard Wu	d3fcd19506	Merge pull request #536 from AleoHQ/fix/return-type-check ... Fix/return type check	2021-01-12 16:42:13 -04:00
collin	f3452b9706	test program output array registers	2021-01-11 21:48:57 -05:00
collin	9215d911e6	use eq_flat type comparison method	2021-01-11 21:40:02 -05:00
Collin Chin	5f80cc4642	Merge pull request #532 from huitseeker/no-panic ... Removes a panic	2021-01-11 20:52:59 -05:00
collin	758cf88de7	fix warnings	2021-01-08 20:08:14 -05:00
collin	c48c39caaf	check output register type == return value type + tests	2021-01-08 20:06:23 -05:00
François Garillot	d41c1b7138	Removes a panic ... One panic can be folded in the error case of its enclosing `Result`, an `unwrap` call can be elided through pattern-matching reformulation.	2021-01-08 07:12:23 -08:00
Howard Wu	2cde6d0659	Merge pull request #520 from AleoHQ/fix/conditional-logging ... fix conditional logging bug #407	2021-01-07 20:30:48 -04:00
collin	fea8bb6d1e	Merge branch 'master' of github.com:AleoHQ/leo into ast-cleanup	2021-01-05 13:09:41 -05:00
collin	d28e161706	fix conditional logging bug #407	2021-01-04 11:34:38 -05:00
howardwu	87ccc0fe3d	Update snarkVM deps to crates	2021-01-03 22:37:06 -04:00
howardwu	d5cb59c206	Update ci.yml	2021-01-02 19:18:38 -04:00
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
Protryon	91cac5f9d0	remove custom eq/hash implementations, add node implementations, remove range_or_expression	2020-12-21 05:58:10 -08:00
howardwu	1e79277728	Remove tracing-subscriber dep from compiler	2020-12-20 10:20:13 -04:00
Protryon	833eeb7fc5	fix mutable match error	2020-12-16 15:01:15 -08:00
Protryon	6bb3437280	remove unused assign code	2020-12-16 15:01:14 -08:00
Protryon	d1276bd95d	statement breakout	2020-12-16 15:00:45 -08:00
collin	6e2dcdd1b0	fix serialization	2020-12-16 14:21:57 -05:00
collin	1dbd72c453	Merge branch 'master' of github.com:AleoHQ/leo into expression-breakout	2020-12-16 13:46:43 -05: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
howardwu	babb8ec175	Hotfix cargo fmt	2020-12-14 13:54:46 -04:00
Howard Wu	235f85e039	Merge pull request #494 from AleoHQ/refactor/parse-program-from-string ... Undeprecate parse_program_from_string	2020-12-11 17:35:10 -04:00
Howard Wu	878f0a8461	Merge pull request #493 from AleoHQ/fix/self-access-scope ... fix accessing self variable inside nested scope bug	2020-12-11 17:33:32 -04:00
Howard Wu	32dad40521	Merge pull request #492 from AleoHQ/fix/array-spread-type ... Fix array spread type bug	2020-12-11 17:32:44 -04:00
collin	ca36d06022	undeprecate parse_program_from_string and add test	2020-12-11 13:31:13 -05:00
collin	8ace306e2c	fix cargo lock	2020-12-11 12:22:07 -05:00
collin	161fe2608c	fix accessing self variable inside nested scope bug	2020-12-10 18:02:25 -05:00
collin	08e90f5c59	fix array spread type bug	2020-12-10 17:54:19 -05:00
collin	e2406bec86	fix lower array slice bug	2020-12-09 17:42:15 -05:00
collin	40c816f921	update swap test	2020-12-09 17:08:22 -05:00
collin	6e67ea485a	Merge branch 'master' of github.com:AleoHQ/leo into fix/nested-mut-assignee	2020-12-09 17:06:49 -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
collin	8a44eff4a5	fix nested mutable assignee bug, add swap test	2020-12-08 16:00:12 -05:00
Collin Chin	8541eb3fb8	Update mod.rs	2020-12-08 12:21:18 -05:00
Collin Chin	ac68e8e6a4	Merge branch 'master' into fix/prefer-include-str	2020-12-08 11:37:30 -05:00
collin	b7e5cd13df	fix failing test	2020-12-08 10:47:07 -05:00
Protryon	5c1a522f89	remove debug prints	2020-12-07 17:05:45 -08:00
Protryon	f9dc75f70c	expression breakout	2020-12-07 17:05:44 -08:00
collin	c351c300a2	merge master	2020-12-07 20:05:15 -05:00
collin	e93100eb6a	merge master	2020-12-07 19:55:03 -05:00
Howard Wu	f841f2e348	Merge pull request #466 from AleoHQ/fix/nested-mut-value ... Fixes assignment of mutable variable to mutable variable	2020-12-07 20:41:58 -04:00
collin	4cac0aeb41	merge master, update serialization test	2020-12-07 16:40:34 -05:00
Protryon	b9fb1123de	block ast node	2020-12-07 13:28:03 -08:00
collin	1dbdf23d5a	use index map in compiler module	2020-12-07 12:18:20 -05:00
collin	3b23eb595a	return iterator instead of vector	2020-12-07 11:22:45 -05:00
collin	7745710dc4	cargo +nightly clippy	2020-12-04 19:06:29 -05:00
collin	cd53cba77a	fix circuit selftype error bug	2020-12-04 17:56:59 -05:00
collin	0f91630a9f	merge function input self changes	2020-12-04 16:52:19 -05:00
collin	f1bd5399a1	cargo clippy	2020-12-04 16:47:03 -05:00
collin	0698f5df59	Merge branch 'master' of github.com:AleoHQ/leo into feature/circuit-self-input	2020-12-04 16:41:31 -05:00
collin	2352ebaf2c	rename all bytes variables to string	2020-12-04 15:48:43 -05:00
collin	674caf5902	use include_str in all program tests	2020-12-04 15:34:51 -05:00
collin	7976c739e9	use include_str in program input + state tests	2020-12-04 15:20:59 -05:00
collin	675937ba13	use include_str in program input tests	2020-12-04 12:57:08 -05:00
collin	b2246f1151	use include_str in program state tests	2020-12-04 12:51:39 -05:00
howardwu	dbae691e49	chore(leo): bump version for new release	2020-12-03 16:16:42 -04:00
collin	87c0dd738a	add test for bug #427 incomplete conditional	2020-12-03 13:44:47 -05:00
collin	dfcc77a860	add test for bug #430 early returns	2020-12-03 13:38:05 -05:00
collin	b94c70588e	refactor execution of branch indicators and function returns	2020-12-03 13:24:23 -05:00
collin	4cb07d5cd3	add test for nested mutable value	2020-12-02 12:31:51 -05:00
collin	1217e9860e	fix nested mutable value bug	2020-12-02 12:29:32 -05:00
howardwu	74f7f24b19	chore(leo): bump version for new release	2020-12-01 22:57:11 -04:00
collin	7ce927ff78	remove unused branch	2020-12-01 15:43:35 -05:00
collin	d8c08fedd7	fix tests	2020-12-01 15:37:44 -05:00
collin	8457b05354	remove mut circuit variable definition	2020-12-01 11:54:51 -05:00
collin	7977b20ad2	remove mut variable keyword	2020-12-01 10:19:02 -05:00
collin	82e13edbbe	pass mutable reference to circuit variable when 'mut self' keyword is present	2020-12-01 10:12:50 -05:00
collin	74f7749462	pass circuit members into function by value when self keyword is present	2020-11-30 17:54:41 -05:00
collin	04081beb4b	move function input length check to type checking phase	2020-11-30 13:34:21 -05:00
collin	d4d5f336c4	refactor compiler to use new ast	2020-11-30 13:06:11 -05:00
collin	1213209b78	cargo fmt check	2020-11-23 17:01:01 -05:00
Collin Chin	26151f33ec	Merge branch 'master' into fix/tuple-cond-select	2020-11-23 16:57:22 -05:00
Howard Wu	1d1e86c8de	Merge pull request #447 from AleoHQ/fix/not-expression ... fix error using not operator on mutable boolean	2020-11-23 13:49:35 -08:00
Howard Wu	25c9ac6ea2	Merge pull request #446 from AleoHQ/fix/input-tuple ... fix input tuple grammar rule	2020-11-23 13:46:01 -08:00
collin	efe734afaf	add input, self, mut self keyword functionality to ast module	2020-11-23 14:49:20 -05:00
collin	093bab6b02	add test for returning a tuple in a conditional statement	2020-11-18 18:28:41 -08:00
collin	5db2b07cb2	add test for using not operator on mutable variable	2020-11-18 18:23:11 -08:00
collin	789a744deb	add test for returning tuples from function	2020-11-18 18:13:49 -08:00
collin	db056b9383	Merge branch 'master' of github.com:AleoHQ/leo into feature/type-inference	2020-11-16 18:08:14 -08:00
collin	c27a166dfb	fix error when selecting return between two tuples	2020-11-16 16:06:28 -08:00
collin	2ed5e02de3	fix error using not operator on mutable boolean	2020-11-16 15:50:10 -08:00
Collin Chin	a570a2a13e	Merge pull request #432 from AleoHQ/fix/leo-ast-naming ... Rename leo ast -> ast	2020-11-13 11:44:46 -08:00
collin	d3ab32822e	remove unnecessary program clone	2020-11-12 15:43:37 -08:00
collin	8c2823410a	rename leo ast -> ast	2020-11-12 12:00:27 -08: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
collin	f28eb8c20a	clippy lints 2	2020-11-10 16:34:44 -08:00
collin	33fae17b35	clippy lints 1	2020-11-10 16:23:55 -08:00
collin	04f4e685ed	array type refactor finished. all tests pass	2020-11-10 13:22:18 -08:00
collin	d6686005a3	fix refactored array initializer tests wip 3	2020-11-09 19:26:34 -08:00
collin	34b425ffe5	fix refactored array initializer tests wip 2	2020-11-09 15:03:12 -08:00
collin	aa17355a72	fix refactored array initializer tests wip 1	2020-11-09 14:27:59 -08:00
howardwu	0d966d1d5c	chore(leo): bump version for new release	2020-11-06 19:56:12 -08:00
collin	1ae66d9908	add support for refactored array initializer in compiler	2020-11-06 19:42:07 -08:00
collin	d7ff808660	add support for refactored array type in compiler	2020-11-06 16:24:38 -08:00
collin	6f3a235c76	Refactor symbol table array type comparison	2020-11-02 13:28:56 -08:00
collin	2fdcb043fc	Improve doc comments for compiler phases	2020-11-02 09:19:11 -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	61f4189483	Add documentation for renamed modules	2020-10-30 16:23:18 -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	f1e393a9ab	rename dynamic-check -> type-inference 1	2020-10-30 12:39:02 -07:00
collin	7e7d1e58a0	rename typed -> core-ast 2	2020-10-30 11:48:40 -07:00
collin	be2a805d49	rename typed -> core-ast 1	2020-10-30 11:30:52 -07:00
collin	7cf41558bc	rename static-check -> symbol-table 3	2020-10-30 10:51:45 -07:00
collin	b5a05be09d	rename static-check -> symbol-table 2	2020-10-30 10:44:44 -07:00
collin	20ac83265d	rename static-check -> symbol-table 1	2020-10-30 10:25:44 -07:00
Collin Chin	1a39ae93ca	Use matches macro	2020-10-27 10:06:50 -07:00
collin	46f585e2ff	refactor compiler methods	2020-10-27 00:31:36 -07:00
collin	52810588ff	refactor modules and make function names more clear	2020-10-26 23:42:01 -07:00
collin	fe79cfcf71	merge master	2020-10-26 22:05:03 -07:00
collin	d3125a0f9f	add new dynamic check errors and tests for variables	2020-10-26 18:41:51 -07:00
collin	9024fb0968	remove unused code	2020-10-26 17:52:32 -07:00
collin	020773fb2a	impl dynamic checks for imports. all tests pass	2020-10-26 16:05:02 -07:00
collin	09d86576ea	add import parsing to first pass of static check	2020-10-26 15:51:46 -07:00
collin	b3c140d5bb	fix array function input bug	2020-10-26 13:14:36 -07:00
collin	9bae1037f7	fix core package tests	2020-10-26 12:55:00 -07:00
collin	9933b8e336	impl dynamic checks for core packages	2020-10-26 12:24:24 -07:00
collin	54bf6ca42d	load program input type into symbol table	2020-10-24 23:57:38 -07:00
collin	17a65fe54a	add dynamic check errors for circuits 3	2020-10-24 19:27:30 -07:00
collin	6e124e52ff	add dynamic check errors for statements	2020-10-24 17:01:40 -07:00
collin	22d6c98c77	add dynamic check errors for functions	2020-10-24 16:50:07 -07:00
collin	e19616b4e5	add dynamic check errors for circuits 2	2020-10-24 13:07:27 -07:00
collin	973e2a6afc	add dynamic check errors for circuits 1	2020-10-24 02:53:09 -07:00
collin	8e75e36532	manually impl PartialEq for array types	2020-10-23 21:54:19 -07:00
collin	f2a808cbe7	impl membership type assertion error handling	2020-10-23 17:31:41 -07:00
collin	dbade1f4fe	fix mismatched types test	2020-10-23 17:00:11 -07:00
collin	4aab804148	add type variable for implicit addresses	2020-10-23 15:52:43 -07:00
collin	f1490a994b	impl dynamic check errors	2020-10-23 15:23:48 -07:00
ljedrz	4ccc9c31db	perf: reduce format!-related allocations and move them to closures where possible ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2020-10-22 17:36:26 +02:00