539 Commits

Author	SHA1	Message	Date
0rphon	d25eb79594	improved test runner	2022-03-15 16:56:54 -07:00
0rphon	0e1d1a43e9	removed tools/failing tests	2022-03-15 15:38:06 -07:00
0rphon	310944acc5	excluded failing tests, added new ones	2022-03-14 17:37:15 -07:00
0rphon	a9ed6dcc81	Update char.leo	2022-03-14 16:36:36 -07:00
0rphon	7c049177cb	Merge branch 'testnet3' into improve-parser-tests	2022-03-14 16:36:16 -07:00
0rphon	1604f10115	re-enabled tests, removed fuzzing hooks	2022-03-14 16:29:34 -07:00
gluax	ef8d0415e7	change parens around variable into recoverable error	2022-03-14 08:12:03 -07:00
gluax	9a45c2ae99	fix array around 1 element array dim size	2022-03-14 08:07:01 -07:00
gluax	2c30cba70f	remove parened field	2022-03-14 07:58:51 -07:00
0rphon	3c258bf3a4	code cleanup, added tests, marked dangerous code for review	2022-03-09 15:16:52 -08:00
gluax	377c65be21	fix issues from fixing a panic	2022-03-09 12:08:15 -08:00
gluax	a227e7c113	add tests, fix namespaces on older tests, fix another bug	2022-03-09 11:11:30 -08:00
gluax	86000325bf	remove option types in rest of places, clean up canonicalization	2022-03-08 12:58:32 -08:00
gluax	eaf0a82154	merge testnet3	2022-03-08 10:24:36 -08:00
gluax	9d088ea152	remove implicit ints in tests	2022-03-08 10:20:05 -08:00
0rphon	9afee5e328	updated tests	2022-03-08 01:01:30 -08:00
0rphon	39ea7a3ceb	Merge branch 'testnet3' into improve-parser-tests	2022-03-08 00:57:32 -08:00
Collin Chin	5e2ba78750	Merge pull request #1656 from AleoHQ/remove/unsized-array ... Remove/unsized array	2022-03-07 17:14:03 -08:00
collin	6a33035257	remove unsized array parser tests	2022-03-07 14:50:53 -08:00
gluax	d39a3c00d7	fix tests so far	2022-03-07 08:30:03 -08:00
collin	1f7b1b57cc	remove unsized array tests	2022-03-04 12:27:17 -08:00
gluax	060c13dd8d	clippy fix	2022-03-04 11:21:42 -08:00
gluax	789862103e	another char bug fix	2022-03-04 11:18:28 -08:00
gluax	308512fab9	add tests	2022-03-04 10:26:34 -08:00
gluax	85764aa394	fix self discrep	2022-03-04 10:03:42 -08:00
gluax	bd1d602f6d	fix annotation error msg	2022-03-04 09:28:29 -08:00
0rphon	7d2cbb2ec2	done with coverage ... finished coverage tests. adding case by case tests from the parser fuzzer next	2022-03-02 14:13:37 -08:00
0rphon	2b4751e7e1	regenned tests	2022-03-01 12:15:54 -08:00
0rphon	9d1714d779	Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests	2022-03-01 12:00:10 -08:00
gluax	029a42df0a	regen tests so far	2022-02-28 14:47:22 -08:00
gluax	dd4f51a218	fix testframework path	2022-02-28 13:40:43 -08:00
collin	9ff0d3fed3	move tools/test-framework -> tests/test-framework	2022-02-28 10:29:05 -08:00
Collin Chin	9a44dc35c3	Merge pull request #1643 from AleoHQ/lexer-errors ... Lexer Errors	2022-02-28 08:53:56 -08:00
0rphon	cc71ed2d07	emoji tests	2022-02-25 17:21:41 -08:00
gluax	c0b0e28ee2	error messages and test regen	2022-02-25 11:23:59 -08:00
0rphon	6f9ffcedf2	more edge cases	2022-02-23 17:24:51 -08:00
gluax	7f21855312	fix infinite loop, check if tests work	2022-02-23 16:14:53 -08:00
0rphon	45326234c3	updated tests	2022-02-23 15:09:19 -08:00
0rphon	c6926ef1fa	Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests	2022-02-23 15:07:49 -08:00
0rphon	ba6f235937	added some more test cases	2022-02-23 15:07:32 -08:00
damirka	239f06b3af	removes leo_input mentions, cleanup dep	2022-02-22 03:10:50 +03:00
damirka	aa61840eb6	Merge branch 'testnet3' into leo-parser-inputs	2022-02-22 02:59:54 +03:00
damirka	0c22d631e8	adds tests, removes legacy code	2022-02-22 02:18:33 +03:00
Collin Chin	7fb6216a13	Merge pull request #1625 from AleoHQ/bug/1620-malformed-block-comments ... [Fix] malformed block comments	2022-02-21 11:01:21 -08:00
Collin Chin	b3ae194ef7	Merge pull request #1624 from AleoHQ/bug/1405-reject-one-element-tuples ... [Fix] Disallow 1 element tuple types and variables	2022-02-18 18:16:42 -08:00
gluax	122315db3d	fix test	2022-02-18 15:37:49 -08:00
0rphon	c767907b25	removed more dead lexer code	2022-02-18 16:29:24 -07:00
gluax	be9a181ef2	rengen tests	2022-02-18 15:21:18 -08:00
0rphon	938f1fdbc1	removed dead code from lexer	2022-02-18 15:49:39 -07:00
gluax	44a3d63b2f	fix one test, pull latest changes	2022-02-18 13:10:17 -08:00
gluax	d769cc634d	working on adding a parse import namespace	2022-02-18 13:07:49 -08:00
0rphon	d46a041895	save progress before denver	2022-02-16 11:33:52 -08:00
0rphon	0d6c258068	save progress	2022-02-14 17:25:57 -08:00
collin	d343f487ad	temporarily remove parser import tests	2022-02-08 13:18:48 -05:00
gluax	57bc95879d	pull upstream testnet2 resolve conflicts	2022-02-01 13:30:03 -08:00
Mazdak Farrokhzad	d6d23f938b	cherry pick ast-docs commit	2022-02-01 10:59:05 -08:00
gluax	0981874787	tested all unreachables	2022-01-28 11:30:45 -08:00
gluax	9cb1f3632d	add missed cases, test unreachable exprs	2022-01-28 11:28:19 -08:00
gluax	22d24411b7	test unreachable contexts	2022-01-28 10:57:13 -08:00
gluax	2bb1d8f8d6	migrate parser tests from staging	2022-01-28 10:34:02 -08:00
gluax	5b7daa7b10	disable tgc binary for now	2022-01-28 10:26:42 -08:00
collin	22b16a0bcb	regenerate all tests	2022-01-25 16:17:36 -08:00
collin	31f90a9032	deprecate blake2s	2022-01-25 13:31:02 -08:00
Eric McCarthy	e2ba64b79d	Merge pull request #1362 from AleoHQ/feature/remove-span-snapshot ... Feature/remove span snapshot	2021-09-30 15:33:18 -07:00
Pranav Gaddamadugu	cf1d10e057	Changed expectations after fixing order bug	2021-09-29 08:01:42 -07:00
Pranav Gaddamadugu	9bf66e391c	New test expectations after normalizing JSON output for tgc	2021-09-28 17:51:58 -07:00
damirka	a1aa5326ad	fixes eq for arrays with unspecified size	2021-09-28 11:09:56 +03:00
Pranav Gaddamadugu	94498179db	Added feature to serde_json, new expected ASTs	2021-09-24 16:34:57 -07:00
Pranav Gaddamadugu	1d4a4566d7	Updated tests to fit new compiler options	2021-09-23 09:27:14 -07:00
Pranav Gaddamadugu	ae6e0a6786	Changing expectations files; for any AST where Span is used in an enum variant	2021-09-22 12:07:58 -07:00
damirka	af777c085d	adds .len() parser tests	2021-09-17 17:39:28 +03:00
Alessandro Coglio	a5f74195cf	Merge pull request #1333 from AleoHQ/array-len-function ... [Feature] Adds .len() postfix to arrays	2021-09-15 10:10:32 -07:00
damirka	4f41f09ef2	Merge branch 'master' into array-len-function	2021-09-13 14:26:38 +03:00
damirka	158576f8f5	changed length() to len()	2021-09-10 16:55:32 +03:00
gluaxspeed	c1e9c72d2a	merge master and resolve conflicts	2021-09-10 06:53:47 -07:00
gluaxspeed	e1f6b16ea7	added new errors	2021-09-10 06:42:01 -07:00
damirka	093517109b	renaming, now .length()	2021-09-10 16:11:55 +03:00
gluaxspeed	64e88404d2	prelude stuff auto included	2021-09-10 05:55:07 -07:00
gluaxspeed	02416cde68	merge master and resolve conflicts	2021-09-10 02:27:37 -07:00
gluaxspeed	a9c81d6596	fix canoncialization of function inputs	2021-09-08 04:18:11 -07:00
gluaxspeed	8a8b5ab757	resolve merge conflicts	2021-09-07 02:59:35 -07:00
gluaxspeed	2e51e81be1	mere conflicts, try to fix duplicate definition fail test	2021-09-07 02:05:15 -07:00
gluaxspeed	dac71a8001	Merge branch 'master' of github.com:AleoHQ/leo into bug/shadowing-fixes	2021-09-07 01:57:39 -07:00
gluaxspeed	b39eab953d	regen test after merge	2021-09-07 01:50:41 -07:00
gluaxspeed	589c0623f2	resolve conflicts	2021-09-06 23:04:26 -07:00
gluax	81271c918f	Merge pull request #1327 from AleoHQ/abnf-ast-changes ... [ABNF] CircuitOrAlias changed to Identifier	2021-09-06 22:23:52 -07:00
gluaxspeed	dcdb234637	fix imported circuit return from function in import	2021-09-06 06:12:58 -07:00
damirka	857ab9a2b6	change CircuitOrAlias to Identifier	2021-09-06 14:10:06 +03:00
gluaxspeed	cfb8720af7	fix scope shadowing, and importing global consts	2021-09-06 03:53:02 -07:00
damirka	9bef8611e8	custom serializer for Type::Array	2021-09-02 18:27:20 +03:00
damirka	041faa28db	adds tests	2021-09-02 15:53:54 +03:00
gluaxspeed	aacbb991c0	regen test	2021-08-27 22:16:08 -07:00
gluaxspeed	8827bcdf05	add a inputfile so possible no constraints error doesn't happen	2021-08-27 22:08:48 -07:00
gluaxspeed	78e3b333e1	forgot to re-populate tests	2021-08-27 21:51:59 -07:00
gluaxspeed	48d3a445a0	type inference tgc hack	2021-08-27 21:49:17 -07:00
gluaxspeed	1efd891a3f	regen tests	2021-08-27 09:54:22 -07:00
gluaxspeed	a059e09ae2	merge master	2021-08-27 09:46:24 -07:00
gluaxspeed	a4652829df	update conflicting tests	2021-08-27 04:50:42 -07:00
gluaxspeed	c56a54c62e	Merge branch 'master' of github.com:AleoHQ/leo into bug/canonicalization-Self-fixes	2021-08-27 04:40:06 -07:00
Eric McCarthy	9d05b02ef3	update expectations based on results after merging master	2021-08-26 20:33:00 -07:00
Eric McCarthy	d7a948a5bd	merge	2021-08-26 20:09:27 -07:00
Alessandro Coglio	062994e4fe	Merge pull request #1284 from AleoHQ/dup-in32-patch-1 ... Update nonprinting.leo	2021-08-26 19:55:54 -07:00
Eric McCarthy	06f44ac0e6	merge	2021-08-26 09:56:08 -07:00
gluaxspeed	a5b6780c3b	big self canonicalization fixes	2021-08-25 08:55:26 -07:00
gluaxspeed	d100db7396	aliases tests, and some bug fixes, errors	2021-08-25 07:30:17 -07:00
gluaxspeed	2ecb10730e	turn off leo-debug for test generation	2021-08-24 23:59:33 -07:00
gluaxspeed	1628e19658	alias resolution done during type inference	2021-08-24 22:58:59 -07:00
damirka	034ef90e62	Revert "Squashed commit of the following:" ... This reverts commit dfa15b1a4f.	2021-08-24 22:27:37 +03:00
damirka	dfa15b1a4f	Squashed commit of the following: ... commit 7a5979660b Merge: 695a949c 88bd065d Author: Alessandro Coglio <acoglio@aleo.org> Date: Mon Aug 23 08:50:41 2021 -0700 Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type [Implmentation] Adds Type to Circuit Member Access Expressions commit 695a949cff Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon Aug 23 17:25:19 2021 +0300 Bump serde from 1.0.127 to 1.0.128 (#1288) Bumps [serde](https://github.com/serde-rs/serde) from 1.0.127 to 1.0.128. - [Release notes](https://github.com/serde-rs/serde/releases) - [Commits](https://github.com/serde-rs/serde/compare/v1.0.127...v1.0.128) --- updated-dependencies: - dependency-name: serde dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> commit fd3d7d0624 Author: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon Aug 23 17:25:05 2021 +0300 Bump serde_yaml from 0.8.18 to 0.8.19 (#1289) Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.18 to 0.8.19. - [Release notes](https://github.com/dtolnay/serde-yaml/releases) - [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.18...0.8.19) --- updated-dependencies: - dependency-name: serde_yaml dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> commit 84e972c9ad Merge: d609bb28 fbc3dfb4 Author: Alessandro Coglio <acoglio@aleo.org> Date: Sat Aug 21 18:44:39 2021 -0700 Merge pull request #1267 from AleoHQ/bug/implicit-ternary-type-inference [Bugfix] Ternary Implicit and Explicit Unkown Type commit 88bd065d8a Merge: 56c66fa4 235daa9e Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 16:25:23 2021 -0700 merge master, regen tests commit fbc3dfb4c9 Merge: 56996f98 235daa9e Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 16:14:14 2021 -0700 merge master, regen tests commit 56c66fa4ba Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 14:31:06 2021 -0700 testing and clean up commit a91c8b9e6a Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 13:38:50 2021 -0700 Revert "type on call expression" This reverts commit cf5a23b38f. commit cf5a23b38f Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 02:04:41 2021 -0700 type on call expression commit 56996f989e Author: gluaxspeed <jonathan.t.pavlik@gmail.com> Date: Wed Aug 18 01:09:45 2021 -0700 fix ternary bug	2021-08-24 22:21:40 +03:00
gluaxspeed	1576f776f3	resolve master conflicts	2021-08-24 03:00:08 -07:00
Eric McCarthy	d8c89f257d	also update number of private variables and R1CS checksum expectations	2021-08-23 10:41:39 -07:00
Eric McCarthy	b516a8449d	update ast checksum expectations	2021-08-23 10:32:21 -07:00
Eric McCarthy	2abc553d02	update ast checksum expectations	2021-08-23 10:26:06 -07:00
Alessandro Coglio	7a5979660b	Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type ... [Implmentation] Adds Type to Circuit Member Access Expressions	2021-08-23 08:50:41 -07:00
Eric McCarthy	26cbb3ffcf	Update circuit.leo ... Change the 2nd variable named `character` in scope to be `character2`.	2021-08-21 22:08:46 -07:00
Eric McCarthy	76cb8f6ed7	Update nonprinting.leo ... Change duplicate 'in32' to 'in33'	2021-08-21 17:53:34 -07:00
gluaxspeed	93509bf5c1	alias node type	2021-08-19 09:16:50 -07:00
gluaxspeed	e90228b295	type aliases	2021-08-19 06:04:44 -07:00
gluaxspeed	4fc6c5f586	core function imports	2021-08-18 18:52:56 -07:00
gluaxspeed	88bd065d8a	merge master, regen tests	2021-08-18 16:25:23 -07:00
gluaxspeed	fbc3dfb4c9	merge master, regen tests	2021-08-18 16:14:14 -07:00
gluaxspeed	56c66fa4ba	testing and clean up	2021-08-18 14:31:06 -07:00
gluaxspeed	a91c8b9e6a	Revert "type on call expression" ... This reverts commit cf5a23b38f.	2021-08-18 13:38:50 -07:00
gluaxspeed	a75dbe38eb	imports functioning, next is core imports	2021-08-18 06:23:23 -07:00
gluaxspeed	cf5a23b38f	type on call expression	2021-08-18 02:04:41 -07:00
gluaxspeed	56996f989e	fix ternary bug	2021-08-18 01:09:45 -07:00
gluaxspeed	c3aa1ce773	fix error message formatting in some instances	2021-08-16 17:46:50 -07:00
gluaxspeed	20b0f4f2f8	fix canonicalization function type return bugs	2021-08-16 15:12:36 -07:00
gluaxspeed	12fe626485	update readme, fix compiler error range	2021-08-13 20:02:43 -07:00
gluaxspeed	0702be2a18	regen error tests	2021-08-13 16:12:54 -07:00
gluaxspeed	a09f6f0c83	serilization for span that's test dependent	2021-08-12 03:27:18 -07:00
gluaxspeed	f0de65835c	regen tests, debug out a import test	2021-08-12 02:15:12 -07:00
gluaxspeed	478bb83f70	regen tests after removing dead errors, docs	2021-08-10 22:56:46 -07:00
gluaxspeed	d9769b4c37	remove canonicalization from asg, merge master	2021-08-09 14:10:36 -07:00
damirka	9d3d76fc63	allow dashes in member access	2021-08-05 17:53:08 +03:00
damirka	eb0863cda9	closes #1183	2021-08-04 23:34:11 +03:00
gluaxspeed	b1f93e95b3	dep clean up, clippy, leo result	2021-08-04 05:52:08 -07:00
gluaxspeed	88e0e32317	formatting fixes, regen outs, still have a few things to do	2021-08-03 04:49:07 -07:00
damirka	34f1c00da2	clippy & test fixes	2021-08-02 23:45:33 +03:00
Alessandro Coglio	f1ba77f9ed	Merge pull request #1207 from AleoHQ/fix/address-issue ... Fix the AssignmentMissing error involving non-constant addresses	2021-07-30 13:46:50 -07:00
gluaxspeed	39203492f8	add tests for fixes	2021-07-28 16:56:05 -07:00
gluaxspeed	72e2bb1fb6	Some test fixes	2021-07-28 11:53:45 -07:00
gluaxspeed	7d48c2fb75	merge master	2021-07-28 11:18:35 -07:00
gluaxspeed	745f6c2275	variable shadow error	2021-07-27 13:39:34 -07:00
gluaxspeed	9a53905a55	Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs	2021-07-27 12:33:37 -07:00
gluaxspeed	011d405e00	fix output file types from CRLF to LF	2021-07-27 09:48:00 -07:00
gluaxspeed	42f58ff33e	added more tests	2021-07-27 09:31:23 -07:00
gluaxspeed	3f890c9f30	fix reverse loop have to add range, which is always 1 for now	2021-07-26 17:22:05 -07:00
gluaxspeed	20d64970ab	merge master, color only at cli as it breaks tests, remove debug	2021-07-26 16:49:33 -07:00
Alessandro Coglio	49a51d6026	Merge pull request #1185 from AleoHQ/bug/ternary-different-types ... [Bugfix] Ternary Type Check	2021-07-24 13:21:59 -07:00
gluaxspeed	1c3362d191	ternary different types errors out	2021-07-23 17:12:30 -07:00
gluaxspeed	1d72107119	inclusive range	2021-07-23 15:14:37 -07:00
gluaxspeed	b69dd4e277	remove debug, realized it was crlf vs lf whoops	2021-07-23 00:34:52 -07:00
gluaxspeed	61253031b4	countdown loops	2021-07-22 22:17:33 -07:00
gluaxspeed	83e6edd12a	write test for import strings being canonicalized	2021-07-22 12:53:42 -07:00
gluaxspeed	2544a680f1	forgot to regen tests after merging	2021-07-21 14:57:40 -07:00
gluaxspeed	8028766cb4	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings	2021-07-21 14:43:37 -07:00
Alessandro Coglio	e0b586a9a1	Merge pull request #1164 from AleoHQ/feature/theorem-tests ... [Feature-Impl] Ast generation tests	2021-07-21 11:04:19 -07:00
gluaxspeed	c1879e6e1c	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings	2021-07-21 02:51:35 -07:00
gluaxspeed	a9593971b9	format string and grammar changes	2021-07-20 14:52:35 -07:00
gluaxspeed	a2577231fd	add test	2021-07-19 11:33:18 -07:00
gluaxspeed	98d47ab32a	Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests	2021-07-18 20:00:48 -07:00
weikeng	fef7fe6c90	update the test as well as ci	2021-07-17 01:55:11 -07:00
gluaxspeed	b456488758	merge master	2021-07-16 03:39:32 -07:00
gluaxspeed	8b44cfa9c7	Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests	2021-07-16 03:28:37 -07:00
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07:00
gluaxspeed	8695b11ce0	Forgot to refactor in compiler tests	2021-07-14 05:04:09 -07:00
gluaxspeed	baca9ca4a5	Hash the ast in the .out file	2021-07-14 02:58:10 -07:00
gluaxspeed	af147449be	"fix type, more test coverage"	2021-07-14 00:39:09 -07:00
gluaxspeed	c5c5bce2f0	Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs	2021-07-13 22:27:24 -07:00
gluaxspeed	650a729763	Add theorem generations to tests	2021-07-12 11:45:51 -07:00
gluaxspeed	c0628a04c7	Merge branch 'master' of github.com:AleoHQ/leo into bug/misc-bugs	2021-07-11 22:55:29 -07:00
gluaxspeed	39e21e5d93	add more tests	2021-07-09 12:15:29 -07:00
gluaxspeed	d4d122e59e	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs	2021-07-09 11:55:10 -07:00
gluaxspeed	01717ee86f	Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-parser-bugs	2021-07-08 04:07:00 -07:00
gluaxspeed	0bd580e3d1	fmt fixes, realized they have to be in that format for outputs	2021-07-08 04:05:00 -07:00
gluax	a496841563	the identifiers differ, change it to name	2021-07-02 18:29:48 -07:00
gluax	9ace3243d2	forgot to regenerate tests	2021-07-02 15:29:50 -07:00
gluax	376d713fb3	add test for missed case from fixed bugs	2021-07-02 15:13:38 -07:00
gluax	bcb50ae27f	change equality_expressions	2021-07-01 13:40:29 -07:00
gluax	eee9cfc1be	fix parser to match abnf conditional	2021-06-30 22:20:06 -07:00
gluax	f35b120588	test cases for lest test	2021-06-29 21:12:24 -07:00
gluax	bb63e13edf	fix all the bugs for the new array indexes	2021-06-29 20:55:48 -07:00
gluax	5c3b48a25b	slight rework to access to clean it up and fix other missed cases, added tests	2021-06-28 14:10:26 -07:00
gluax	5ebea328fb	const_value for array_init, and canonicalization fixes	2021-06-26 00:00:09 -07:00
Alessandro Coglio	b6065c34d4	Merge pull request #1060 from AleoHQ/bugs/array-type-inference-issues ... array type inference bugs	2021-06-25 11:12:21 -07:00
gluax	068958a2f4	array type inference bugs	2021-06-23 07:08:32 -07:00
damirka	77301e98bd	add tests	2021-06-23 14:16:44 +03:00
gluax	957d73f33f	more tests	2021-06-22 14:31:45 -07:00
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
Alessandro Coglio	b414cde00d	Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes ... canonicalization fixes	2021-06-18 09:01:39 -07:00
gluax	a2850bbd02	Self bug fix, and string canonicalization fix	2021-06-17 12:47:19 -07: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	debaf9cd61	more byte failing tests	2021-06-11 10:05:08 -07:00
gluax	5b4cc494c1	fix parser bug allowing illegal unicode escape	2021-06-10 10:59:35 -07:00
gluax	d6266102c3	more tests, hex fix	2021-06-09 15:54:05 -07:00
gluax	9eedd61ccd	rebase master, redo tests	2021-06-08 14:59:38 -07:00
p	e816ae4ac3	fix array dyn mut	2021-06-08 14:52:12 -07:00
gluax	0a71466c41	pull snarkvm deps, for test fix	2021-06-08 14:01:10 -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
collin	1b5f2728e5	deprecate abnf, regenerate tests	2021-06-08 13:15:26 -07:00
gluax	c9b565cbfb	fix slice assignment for strings	2021-06-08 12:29:49 -07:00
Protryon	a0acc915e9	dynamic array index assignment	2021-06-04 06:14:09 -07:00
damirka	3bcb0ef942	fix test expectations	2021-06-03 19:34:10 +03:00
damirka	1478e1be22	fix expectations for parser test	2021-06-02 15:48:11 +03:00
damirka	ecff3d6f2b	fixes #995	2021-06-02 14:53:32 +03:00
gluax	bdcd945716	Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type	2021-05-25 16:37:55 -04:00
gluax	e53c35f3f2	made suggested changes	2021-05-25 16:36:59 -04:00
damirka	d578a1084e	fix field tests for inputs, improves string and char inputs	2021-05-25 21:06:45 +03:00
damirka	760a0d545f	Merge branch 'feature/char-type' of github.com:AleoHQ/leo into feature/char-type	2021-05-25 20:59:36 +03:00
damirka	8959d3e44b	adds char and string tests for inputs and const inputs	2021-05-25 20:59:24 +03:00
gluax	bdcf7ce944	resolve direct unicode in a string	2021-05-25 13:49:26 -04:00
gluax	53a668ae14	resolve multiple chars in a char, tests for it	2021-05-25 12:18:01 -04:00
damirka	a3416c1e3e	added max value for \x7F escape	2021-05-24 15:13:33 +03:00
damirka	497b039d60	added few more test cases for strings	2021-05-24 13:10:28 +03: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	bce10cc885	quick test fix	2021-05-22 18:21:11 -04:00
gluax	1c57eb4196	input string syntax	2021-05-22 17:57:05 -04:00
gluax	329b330c15	merge remote	2021-05-22 10:47:08 -04:00
gluax	ddbdd485d2	Revert "change pest according to suggestion fixes it" ... This reverts commit c8e63a21d6.	2021-05-22 10:41:54 -04:00
gluax	cd95f48f77	forgot to remove debug stmt, and regen tests	2021-05-21 15:11:48 -04:00
gluax	3971a6100d	revert parsing char change, clean up lexing	2021-05-21 14:43:05 -04:00
gluax	cce0f597de	Revert "refactor for better errors, code shouldn't have been in the lexer" ... This reverts commit 1e1486f4ef.	2021-05-21 12:33:39 -04:00
gluax	c8e63a21d6	change pest according to suggestion fixes it	2021-05-20 20:10:00 -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
damirka	a5f994ad88	Merge remote-tracking branch 'origin/feature/char-type' into feature/string-parsing	2021-05-20 19:27:51 +03:00
gluax	1e1486f4ef	refactor for better errors, code shouldn't have been in the lexer	2021-05-19 18:14:56 -04:00
damirka	f96c4ad37e	Merge branch 'feature/char-type' into feature/string-parsing	2021-05-20 00:24:22 +03:00
damirka	ed03a385b5	fix unicode chars	2021-05-19 23:59:54 +03: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
damirka	737985034b	fix tests	2021-05-19 23:46:47 +03:00
damirka	c4616254d4	follow up, fixed wrong test	2021-05-19 20:53:41 +03:00
damirka	ca6b8695b5	disabled blake2s for now	2021-05-19 20:50:43 +03: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
damirka	32bd282030	1st draft for string parsing and ast type ... - currently uses back quotes "`" for strings, change later - ast -> asg unimplemented, strings need to be processed on canonicalization stage	2021-05-18 18:56:55 +03: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
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	fc385feeca	returned parser expectations, removed cwd from compiler tests	2021-05-13 17:07:03 +03:00
damirka	17744f7f7d	removes import tests, fix ci, add constraint number check, more tests	2021-05-13 16:56:17 +03:00
gluax	90f9215a0b	char lexer/tokenize/parsing done	2021-05-12 15:33:37 -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	6138f8e719	removed old compiler tests	2021-05-12 19:39:27 +03:00
damirka	b20f8a0369	added doc	2021-05-11 21:16:55 +03:00
damirka	5d018f4ad2	u*	2021-05-10 21:11:31 +03:00
damirka	1a15ad3a8f	i*	2021-05-10 20:19:19 +03:00
gluax	f32a1e9ddb	merge master, add a parser test to try and improve code coverage	2021-05-07 13:34:10 -04:00
damirka	4fcce10329	remove unnecessary mod	2021-05-06 14:58:36 +03:00
damirka	a39197af62	add const test	2021-05-06 14:52:20 +03:00
damirka	ac57fe6410	test conflicts + clippy	2021-05-06 14:27:42 +03:00
damirka	e3983bfa90	array	2021-05-06 14:01:42 +03:00
gluax	5587d8dd8d	don't allow mixing of semi-colons and commas	2021-05-05 14:53:46 -04:00
damirka	91c9969ff9	arrays 1/2	2021-05-05 21:25:24 +03:00
damirka	7f390d4d5c	global const	2021-05-05 21:06:15 +03:00
damirka	d5e8fb3718	imports	2021-05-05 19:31:25 +03:00
damirka	925afef17c	function	2021-05-05 18:29:44 +03:00
damirka	032341089b	program state	2021-05-05 17:48:33 +03:00
damirka	72648c993c	program inputs	2021-05-05 17:35:34 +03:00
damirka	dd4d909998	Merge branch 'master' into compiler-tests	2021-05-05 11:56:00 +03:00
damirka	71486fb628	circuits	2021-05-05 11:37:51 +03:00
damirka	8464c5b9d2	i8 + mutability	2021-05-03 17:28:53 +03: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
Protryon	534f36a077	compiler tests	2021-04-19 18:08:14 -07:00
Protryon	d933a49eb0	extract test framework	2021-04-19 06:46:22 -07:00
collin	c728fb4b19	fix error spacing	2021-04-15 12:37:22 -07:00
collin	1fee0d3101	fix parser tests	2021-04-15 12:11:22 -07: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
gluax	a666ef2a05	regen parser tests	2021-04-14 18:31:27 -04: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	91634d6479	implicit input, removed from function input	2021-04-14 16:00:19 -04:00
Protryon	7aeb8f15ee	ns -> namespace	2021-04-12 13:15:40 -07:00
Protryon	aa4c97c9fd	remove full path from span outputs	2021-04-12 13:15:40 -07:00
Protryon	899b8b3efd	tests	2021-04-12 13:15:39 -07:00
gluax	1d9befc0ac	function input mutable by default	2021-03-19 11:30:24 -04:00
gluax	b50919085b	deprecate let mut, undeprecate const, let is now mutable by default	2021-03-18 15:19:07 -04:00
Protryon	a4f2101aaf	remove if from ternary expression	2021-03-08 14:45:38 -08:00
Protryon	d400764e00	parser rewrite	2021-03-03 09:59:24 -08:00