1161 Commits

Author	SHA1	Message	Date
collin	c936ca5f11	remove old field type code	2021-05-18 18:57:44 -07:00
collin	9c94422530	bump snarkvm module versions to 0.2.3	2021-05-18 18:53:07 -07:00
collin	2b1b2839b0	add field type refactor code	2021-05-18 18:35:54 -07:00
gluax	edf236158d	add unimplemented other comparators in fields so chars can call them	2021-05-18 12:29:01 -04:00
gluax	08022bb383	char eq operators in, they just call the field ones for now, so when those are in they will work	2021-05-18 12:04:58 -04:00
collin	abeb796cbb	use field eq method	2021-05-17 16:32:44 -07:00
collin	d24623d9d2	fix field subtraction	2021-05-17 16:16:42 -07:00
gluax	1377fc5d75	output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints	2021-05-14 15:34:39 -04:00
gluax	0435b7ce83	remove octal, fix ascii hex	2021-05-14 13:07:54 -04:00
damirka	c11ca98268	removed cwd arg from compiler tests	2021-05-14 16:42:20 +03:00
gluax	733bc90bbe	chars done, should merge in compiler tests	2021-05-13 17:25:33 -04:00
gluax	6e71c8ab4f	addex hex, octal, and direct unicode	2021-05-13 14:33:01 -04:00
damirka	17744f7f7d	removes import tests, fix ci, add constraint number check, more tests	2021-05-13 16:56:17 +03:00
gluax	29cd920075	input, output and compiler tests	2021-05-13 07:16:59 -04:00
gluax	0ef7ca3d8e	just need to fix input file parsing for chars to work	2021-05-12 18:56:27 -04:00
gluax	602300ea64	chars are implemented with no operations	2021-05-12 16:34:34 -04:00
gluax	10b97023ba	type inference test update - though I would like to wait for compilers test merge?	2021-05-12 15:42:41 -04:00
damirka	e2492ba9e4	more constraints checks	2021-05-12 20:47:03 +03:00
damirka	cb2bd62ea9	Merge branch 'master' into compiler-tests	2021-05-12 20:02:03 +03:00
damirka	17b59fe96f	remove otests folder	2021-05-12 19:45:01 +03:00
damirka	6138f8e719	removed old compiler tests	2021-05-12 19:39:27 +03:00
gluax	819fc9087f	char type added to ast and asg	2021-05-12 08:39:55 -04:00
Alessandro Coglio	2ddb474dce	Merge pull request #903 from AleoHQ/bug/abnf-circuit-grammar ... Bug/abnf-circuit-grammar	2021-05-06 11:50:20 -07:00
damirka	ac57fe6410	test conflicts + clippy	2021-05-06 14:27:42 +03:00
damirka	6bb14425fd	Merge branch 'master' into compiler-tests	2021-05-06 14:15:03 +03:00
damirka	d5e8fb3718	imports	2021-05-05 19:31:25 +03:00
damirka	2ac3468d18	fixes constant tuples in inputs	2021-05-05 15:58:26 +03:00
damirka	dd4d909998	Merge branch 'master' into compiler-tests	2021-05-05 11:56:00 +03:00
gluax	ffb7cab142	bug fix 905, make sure values are constant when assign is constant	2021-05-03 15:32:11 -04:00
damirka	0b798dc950	console + definition + core	2021-05-03 16:47:33 +03:00
gluax	e0cf988261	hacky, but optional comma only allowed on last member variable	2021-04-29 15:22:17 -04:00
Collin Chin	aaa42bba4c	Merge pull request #705 from AleoHQ/feature/485-defines ... Feature/485 global consts	2021-04-28 14:06:40 -07:00
Collin Chin	b4584399ef	Merge pull request #810 from AleoHQ/feature/opti-cli-flag ... [CLI] Adds CompilerOptions flags to Leo CLI	2021-04-26 22:56:55 -07:00
gluax	e71c8d99e0	import global consts, clean up, test type inference on global consts	2021-04-26 17:51:19 -04:00
damirka	6ef9b86cc2	Merge branch 'feature/opti-cli-flag' of github.com:AleoHQ/leo into feature/opti-cli-flag	2021-04-26 23:42:57 +03:00
damirka	a1326d386e	Merge branch 'master' into feature/opti-cli-flag	2021-04-26 23:39:10 +03:00
Collin Chin	b6f6f051f0	Merge pull request #896 from AleoHQ/feature-relative-imports ... [CLI] Makes import path relative to program directory	2021-04-26 13:37:19 -07:00
damirka	1676d12f66	makes import path relative to program directory	2021-04-26 23:02:35 +03:00
damirka	5d359f23f5	Merge branch 'master' into feature/input-kebab	2021-04-26 22:25:10 +03:00
gluax	438c20c14d	merge master, resolve conflicts, login test is failing	2021-04-26 14:43:21 -04:00
collin	de685928e2	rename stage -> phase	2021-04-21 15:22:20 -07:00
damirka	ad86b23c01	adds search for @test(custom) inputs path in kebab case ... - in Leo test envs can only be snake_cased - while we suggest naming inputs and folders in kebab-case - this patch searches for both test_input and test-input options in inputs	2021-04-21 15:27:10 +03:00
Protryon	534f36a077	compiler tests	2021-04-19 18:08:14 -07:00
gluax	7031923921	clean up comments	2021-04-19 14:36:56 -04:00
gluax	8c497f0b7a	more test coverage	2021-04-19 13:53:49 -04:00
gluax	f7ec5de7c9	fix address in test	2021-04-15 17:08:30 -04:00
gluax	0016a1beaa	update to lastest master, with FormatString rename	2021-04-15 16:55:48 -04:00
howardwu	4eac040178	chore(leo): bump version for new release	2021-04-15 13:49:42 -07:00
Collin Chin	5f46ccc026	Merge pull request #869 from AleoHQ/bug/calling-mut-method-from-immutable-context ... bug-fix-852	2021-04-15 11:51:11 -07:00
gluax	59f86c4b34	fix call for immutable context, add it to test	2021-04-15 14:34:22 -04:00
gluax	2f7ed99f76	pull max's required semi-colon branch to ensure sameness, MD file renamed to readme	2021-04-14 18:38:49 -04:00
Protryon	df60874da9	fix tests	2021-04-14 15:27:57 -07:00
Protryon	51920b5df7	require semicolons on return	2021-04-14 15:27:57 -07:00
gluax	6e595bd845	remove escaped double quote for now, address(...) removed	2021-04-14 17:43:02 -04:00
gluax	1803925b08	semi-colon after return statements are required	2021-04-14 16:59:07 -04:00
gluax	11c78da916	formatted string -> renamed format string	2021-04-14 16:15:27 -04:00
gluax	1231c5bc36	clippy fix	2021-04-14 16:03:53 -04:00
gluax	91634d6479	implicit input, removed from function input	2021-04-14 16:00:19 -04:00
damirka	fbe10b3aaf	adds empty line to leo example	2021-04-14 20:06:14 +03:00
gluax	eaa07934ed	resolve merge conflicts	2021-04-14 12:51:20 -04:00
damirka	794e0f1095	adds test for that scenario	2021-04-14 18:09:52 +03:00
Collin Chin	4ae6de4978	Add clippy flag	2021-04-13 15:22:31 -07:00
Collin Chin	e9988e9713	Add clippy flag	2021-04-13 15:22:01 -07:00
gluax	dc5d75da85	some clean up	2021-04-13 15:33:00 -04:00
gluax	a54488b45f	use stage macro for cleaner type inference	2021-04-13 13:49:16 -04:00
gluax	fdf54ea9a1	make macro to make this easier	2021-04-13 13:36:16 -04:00
gluax	61e791c671	type inference tests	2021-04-13 11:52:01 -04:00
gluax	f612ed441a	type inference, and canonicalization bug fixes	2021-04-12 16:21:44 -04:00
gluax	214d9e0f8c	More generic errors for reducing	2021-04-12 12:33:06 -04:00
gluax	29b8b2e301	add another test for tuple defined arrays	2021-04-12 11:47:19 -04:00
gluax	2bb85f52c1	quick fix, it's in order in this location not reversed, add tests	2021-04-09 22:52:14 -04:00
damirka	1e1697b7fe	Merge branch 'master' into feature/opti-cli-flag	2021-04-10 00:33:19 +03:00
howardwu	62ee4c3b8b	chore(leo): bump version for new release	2021-04-09 14:08:52 -07:00
gluax	bddcef732f	merge master, clean up reducer and directors	2021-04-09 12:48:59 -04:00
gluax	f963782d90	some bug fixing	2021-04-08 17:56:56 -04:00
gluax	cb2f77c7e4	program in, time to test	2021-04-08 16:36:37 -04:00
gluax	97b434986d	statements	2021-04-08 16:06:44 -04:00
Collin Chin	23bca1e595	Merge pull request #796 from ljedrz/align_integers_with_snarkvm ... Align with snarkVM's Integer changes	2021-04-07 15:28:39 -07:00
gluax	55dae9bc14	push some expression solving, start statements	2021-04-07 13:21:10 -04:00
damirka	8ac7440daa	adds test, expects asg error	2021-04-07 20:20:58 +03:00
ljedrz	dee5f7dc15	fix: use a hand-written impl of get_index ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-04-07 10:01:26 +02:00
ljedrz	670e3c0b47	deps: update snarkVM ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-04-07 10:01:26 +02:00
ljedrz	74f02411e8	fix: align with snarkVM's Integer changes ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-04-07 10:01:26 +02:00
gluax	ac9414590f	reduce type and the basis for type_inference ast	2021-04-06 17:09:36 -04:00
gluax	541b83d492	working on directing expressions so far	2021-04-06 14:07:37 -04:00
Collin Chin	ea5bc5d693	Merge pull request #825 from AleoHQ/bug/815-mutable-method-imuttable-context ... Bug/815 mutable method imuttable context	2021-04-05 21:12:39 -07:00
Collin Chin	f3f569b233	Merge pull request #824 from AleoHQ/feature/no-space-between-literals ... Feature/no space between literals	2021-04-05 21:11:57 -07:00
gluax	38c36cc305	tests for all the integers	2021-04-05 12:59:08 -04:00
gluax	f0ce9d400e	testing the changes	2021-04-05 12:54:27 -04:00
damirka	2578be4287	fix test	2021-04-05 19:37:16 +03:00
damirka	03b2af4aaa	Merge branch 'master' into unused-code-bye-bye	2021-04-05 16:40:30 +03:00
damirka	a588c18100	clippy	2021-04-05 16:39:38 +03:00
damirka	044dc96e58	adds tests for outputfile	2021-04-05 16:08:54 +03:00
gluax	f44dcc1e96	test for bug	2021-04-02 04:50:14 -04:00
gluax	dc8a04e872	fix test	2021-03-31 14:59:45 -04:00
gluax	24e5d5365b	resolve all the merge conflicts	2021-03-31 14:08:38 -04:00
damirka	41600d0261	removed unused errors in compiler	2021-03-31 18:06:22 +03:00
gluax	34f0f1519a	merge latest abnf branch	2021-03-30 19:38:37 -04:00
Collin Chin	bb8534bad1	Merge pull request #801 from ljedrz/dedup_code ... Deduplicate code in Integer::allocate_type	2021-03-30 15:24:35 -07:00
collin	5bfca36fc7	fix array indexing bug and add test	2021-03-30 14:28:22 -07:00
Protryon	426cfbc88c	address todos	2021-03-29 15:57:17 -07:00
Protryon	a763075e99	runtime array indexing	2021-03-29 14:16:53 -07:00
collin	9be13dfd51	update comments	2021-03-29 12:12:38 -07:00
collin	6774cbb01c	fix canonicalization tests	2021-03-29 11:24:58 -07:00
gluax	e1a0838888	global consts work, time to add them to reducers and phases	2021-03-29 12:55:49 -04:00
damirka	c21114c161	adds compiler optimizations flags to build and other commands ... - optimizations can either be turned all together or specified - removed deprecated clippy rules, followed clippy - removed library file logic from build command, we don't have libraries	2021-03-28 19:28:00 +03:00
damirka	5fdf86f415	added compiler options to constructor and factory methods	2021-03-28 17:49:49 +03:00
gluax	dadb518598	forgot to update test json	2021-03-26 17:14:37 -04:00
gluax	3e912ef165	access member fix	2021-03-26 17:02:59 -04:00
gluax	871e52006b	quick bug fix	2021-03-26 16:51:03 -04:00
gluax	dd06df4b1d	it almost fully works, need to fix arrays, circuits and function calls	2021-03-26 15:47:11 -04:00
gluax	406692c2aa	merge master, next is parser	2021-03-26 12:07:48 -04:00
Protryon	63d1b1005f	format	2021-03-26 05:19:42 -07:00
Protryon	5985d8da41	tendrilize spans	2021-03-26 05:18:55 -07:00
collin	dcc2844a50	fix canonicalization test	2021-03-25 22:52:58 -07:00
collin	6a1afdabb7	Merge branch 'master' of https://github.com/AleoHQ/leo into feature/constant-mutable-declarations	2021-03-25 22:46:11 -07:00
collin	28bca20b97	pray to the clippy gods (allow upper case acronyms in state module)	2021-03-25 16:03:32 -07:00
collin	ef8517b8ce	allow clippy warns	2021-03-25 15:51:46 -07:00
gluax	c78ab699b8	another test	2021-03-25 16:52:43 -04:00
gluax	793cbb9f27	add test for const self, no clippy issues locally	2021-03-25 14:30:06 -04:00
gluax	696825eb6a	asked for refactors started, this will fail tests	2021-03-25 13:48:47 -04:00
gluax	3efc705a8c	fix tests merged from master	2021-03-25 11:19:42 -04:00
gluax	ab32aeb342	merge master	2021-03-24 15:13:53 -04:00
Collin Chin	94e7509690	Merge pull request #784 from AleoHQ/dead-code-elimination ... Dead code elimination	2021-03-23 16:26:22 -07:00
collin	113ba12959	add tests for dead code elim	2021-03-23 15:49:56 -07:00
collin	99efdf00cb	add comments to asg passes	2021-03-23 15:33:13 -07:00
Collin Chin	46220aa889	Merge pull request #761 from AleoHQ/feature/const-inputs ... [Feature, Compiler] Adds constant inputs	2021-03-23 15:19:44 -07:00
collin	3a6ca5018d	edit main input comments	2021-03-23 14:44:16 -07:00
collin	8172d73a71	fix bit not error	2021-03-23 14:38:20 -07:00
collin	68afcadfa4	update error descriptions	2021-03-23 14:36:22 -07:00
gluax	0ea4f1e0e3	const_ self as function input properly	2021-03-23 11:49:27 -04:00
ljedrz	d14edcb4cd	refactor: use a macro to deduplicate code in Integer::allocate_type ... Signed-off-by: ljedrz <ljedrz@gmail.com>	2021-03-23 11:24:47 +01:00
collin	ae9ba51b7d	update pedersen hash example to use constant inputs	2021-03-22 15:24:32 -07:00
gluax	2c6a34fea7	test that was failing coverage only existed on master	2021-03-22 11:47:34 -04:00
gluax	ef43230e98	merge master and see if it fixes coverage ci	2021-03-22 11:38:19 -04:00
Max Bruce	d120e90d6e	Merge branch 'master' into dead-code-elimination	2021-03-22 07:04:38 -07:00
gluax	1d9befc0ac	function input mutable by default	2021-03-19 11:30:24 -04:00
damirka	b5ae4e1ca4	extended errors, added more error cases	2021-03-19 15:15:06 +03:00
gluax	b50919085b	deprecate let mut, undeprecate const, let is now mutable by default	2021-03-18 15:19:07 -04:00
collin	f1f8b99690	add passing iteration test with loop variable	2021-03-17 12:35:16 -07:00
gluax	dceb8a9744	fix Self inside of circuit giving an error, tests	2021-03-17 14:33:04 -04:00
damirka	0eb7b972c7	Merge branch 'master' into feature/const-inputs	2021-03-17 20:54:52 +03:00
damirka	2862549603	removed unwraps	2021-03-17 13:23:58 +03:00
gluax	e9bc1159ff	merge master and fix last bug	2021-03-16 17:28:59 -04:00
gluax	6ffcb48822	asg now handles Circuit name in Circuit name, some bug fixes	2021-03-16 16:49:18 -04:00
damirka	60519275c9	added test for non const input as const	2021-03-16 23:18:10 +03:00
collin	0a28945262	Merge branch 'master' of https://github.com/AleoHQ/leo into dead-code-elimination	2021-03-16 12:19:01 -07:00
collin	078f0b4351	Merge branch 'master' of https://github.com/AleoHQ/leo into fix/const-loop-range	2021-03-16 12:18:15 -07:00
damirka	8c228cc6b7	forced const inputs for const variables	2021-03-16 20:37:27 +03:00
damirka	037851e703	Merge branch 'master' into feature/const-inputs	2021-03-16 16:34:29 +03:00