1203 Commits

Author	SHA1	Message	Date
gluax	af1aca3d9f	parse returns leo error not rust error	2021-06-21 23:10:55 -07:00
gluax	b969774b85	check input integer types at all stages	2021-06-21 19:53:01 -07:00
howardwu	750c48ed3b	chore(leo): bump version for new release	2021-06-21 14:28:28 -07:00
gluax	b27cffed19	quick branch to fix merge conflicts	2021-06-18 09:14:38 -07:00
Alessandro Coglio	b414cde00d	Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes ... canonicalization fixes	2021-06-18 09:01:39 -07:00
Alessandro Coglio	23e9622212	Merge pull request #1036 from AleoHQ/bug/1012-scalar-values ... Scalar, Non-Scalar, and Char Output file	2021-06-18 09:01:07 -07:00
gluax	a2850bbd02	Self bug fix, and string canonicalization fix	2021-06-17 12:47:19 -07:00
gluax	5cf5437281	char spans from string, proper col_start and stop	2021-06-16 13:35:40 -07:00
dependabot-preview[bot]	0fa4907273	Bump rand_core from 0.6.2 to 0.6.3 ... Bumps [rand_core](https://github.com/rust-random/rand) from 0.6.2 to 0.6.3. - [Release notes](https://github.com/rust-random/rand/releases) - [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md) - [Commits](https://github.com/rust-random/rand/compare/rand_core-0.6.2...rand_core-0.6.3) Signed-off-by: dependabot-preview[bot] <support@dependabot.com>	2021-06-16 17:13:33 +00:00
gluax	1f35308f47	depend on improved tests branch	2021-06-15 11:44:20 -07:00
gluax	076aafa097	resolve merge conflicts	2021-06-15 11:32:46 -07:00
gluax	a6f4052dde	type inference char reducer fixed, outputs fixed	2021-06-15 11:23:08 -07:00
gluax	7d29ef0d5e	custom serializer/deserializer	2021-06-14 15:56:39 -07:00
gluax	d1ca1108fb	scalar chars refactor, some stuff got fixed, some stuff broke	2021-06-11 16:16:21 -07:00
Alessandro Coglio	04c809c0dc	Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string ... fix slice assignment for strings	2021-06-11 11:36:08 -07:00
gluax	d6266102c3	more tests, hex fix	2021-06-09 15:54:05 -07:00
howardwu	6f5c02ae6d	chore(leo): bump version for new release	2021-06-08 22:51:25 -07:00
gluax	77c3b9872a	fmt fix	2021-06-08 14:52:13 -07:00
Max Bruce	e4b88f3095	Update compiler/src/value/integer/integer.rs ... Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>	2021-06-08 14:52:12 -07:00
p	e816ae4ac3	fix array dyn mut	2021-06-08 14:52:12 -07:00
p	a8f687f904	fix treating inputs as constants in to_usize	2021-06-08 14:52:12 -07:00
gluax	d4cdd93d15	Merge branch 'feat/update-snarkvm-0.5.4' of github.com:AleoHQ/leo into bug/1025-assigning-slice-to-string	2021-06-08 13:44:22 -07:00
gluax	c9b565cbfb	fix slice assignment for strings	2021-06-08 12:29:49 -07:00
collin	04907c3e84	bump snarkvm module versions to 0.5.4	2021-06-08 10:25:41 -07:00
p	5cd05d7376	fix bounds check	2021-06-04 11:42:14 -07:00
Protryon	e6b7f0fce3	bounds check	2021-06-04 07:35:50 -07:00
Protryon	dc91b07e5c	clippy	2021-06-04 06:14:09 -07:00
Protryon	936a35ebd2	fmt	2021-06-04 06:14:09 -07:00
Protryon	f8c4139c3a	misc cleanup	2021-06-04 06:14:09 -07:00
Protryon	a0acc915e9	dynamic array index assignment	2021-06-04 06:14:09 -07:00
damirka	d979a06eac	fix output of characters in out file	2021-06-03 15:38:58 +03:00
howardwu	eaadb29448	chore(leo): bump version for new release	2021-05-31 19:53:31 -07:00
gluax	91f27bc046	explicit type resolves issue, will make bug for implict	2021-05-22 22:26:24 -04:00
gluax	7145a751d9	console.log refactor, concat test... has asg or TIPhase reducer bug	2021-05-22 21:15:07 -04:00
gluax	ca59ff3177	tests for now should be changed to use input strings when they are in	2021-05-20 14:30:12 -04:00
gluax	c4a1bd6955	merge and print strings like strings, rather than arrays	2021-05-20 12:50:49 -04:00
gluax	4fe91f0f39	string canonicalization to char array	2021-05-20 12:39:36 -04:00
gluax	b6479b754f	tests are passing interestingly but idk if they should be, == doesn't work for input on fields	2021-05-19 16:48:34 -04:00
Alessandro Coglio	7aa3fa3b1a	Merge pull request #920 from AleoHQ/compiler-tests ... [Tests] Compiler tests	2021-05-19 12:56:18 -07:00
gluax	3cc3c7ab02	call the char methods	2021-05-19 14:24:57 -04:00
gluax	768a597e04	merge in field operator updates	2021-05-19 13:25:58 -04:00
collin	c4461f4ef4	bump snarkvm module versions to 0.3.1	2021-05-18 21:08:19 -07:00
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