552 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	9dd45c3620	Type checking errors on multiple returns	2022-07-24 21:32:36 -07:00
Pranav Gaddamadugu	0194e09b41	Regen test expectations	2022-07-23 10:33:57 -07:00
Pranav Gaddamadugu	1a62a2ba8c	SSA shouldn't reconstruct function ids	2022-07-23 10:29:13 -07:00
Mazdak Farrokhzad	db42194d49	remove unused errors	2022-07-20 20:19:00 +02:00
collin	66b0fcc885	merge testnet3 regen tests	2022-07-18 15:33:40 -07:00
collin	4dc0df0084	merge testnet3	2022-07-18 14:13:31 -07:00
collin	5316d900f4	merge testnet3, regen tests	2022-07-18 12:32:15 -07:00
Pranav Gaddamadugu	1b872576b2	Merge branch 'testnet3' into feat/loop-unrolling	2022-07-18 07:54:48 -07:00
collin	776ad7c88e	regen tests	2022-07-15 21:01:02 -07:00
Pranav Gaddamadugu	a49d23681e	Regenerate test expectations	2022-07-15 01:51:22 -07:00
Pranav Gaddamadugu	b6224d6d89	Merge branch 'testnet3' into feat/loop-unrolling	2022-07-14 17:51:34 -07:00
Pranav Gaddamadugu	43a68fda86	Loop Unrolling skips instead of failing on non-const bounds	2022-07-14 17:07:37 -07:00
Pranav Gaddamadugu	923d5924fe	Feedback from code review	2022-07-14 14:26:13 -07:00
Mazdak Farrokhzad	dab6629ac0	1. move tuple logic to typeck, 2. disallow multi vars in var decls	2022-07-14 06:07:05 +02:00
collin	9229f46bb5	regen tests	2022-07-13 21:06:54 -07:00
collin	d7efc2ddb6	regen tests	2022-07-12 21:44:26 -07:00
collin	163f94d7c1	regen tests	2022-07-12 15:41:11 -07:00
Pranav Gaddamadugu	f5eea6b307	Regen expectations; cleanup	2022-07-11 23:07:11 -07:00
Pranav Gaddamadugu	bceccea80b	Merge branch 'testnet3' into feat/loop-unrolling	2022-07-11 22:55:42 -07:00
Pranav Gaddamadugu	1ce796a586	Regenerate test expectations	2022-07-11 22:45:59 -07:00
Pranav Gaddamadugu	dbfd9a7451	Better error for address comparison; regen test expectations	2022-07-11 07:49:52 -07:00
collin	a15fce710c	merge testnet3	2022-07-09 16:51:20 -07:00
collin	270dffb140	regen tests	2022-07-09 16:23:54 -07:00
collin	01a1953021	regen tests	2022-07-09 16:19:48 -07:00
collin	2a61f26ccc	impl tuple tests	2022-07-09 15:02:45 -07:00
collin	642ad32e99	parse tuple access	2022-07-09 14:11:18 -07:00
collin	a7fc19a69f	impl tuple ast access	2022-07-09 13:22:10 -07:00
Pranav Gaddamadugu	e7f4a41410	Better error for missing member on circuit init	2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu	014959aa24	Regenerate expectations	2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu	8af0f6268f	Regenerate expectations	2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu	00b90c4a33	Merge branch 'testnet3' into feat/redesign-symbol-table	2022-07-08 11:57:40 -07:00
collin	b5a2790375	rename balance -> gates	2022-07-07 16:15:11 -07:00
collin	b461539ae3	use refactored methods in type checking, regen tests	2022-07-07 13:22:59 -07:00
Pranav Gaddamadugu	12eafa4174	Regenerate test expectations without symbol_table	2022-07-06 16:10:59 -07:00
collin	de178522d8	impl Display for BinaryOperation, improve error message	2022-07-05 16:42:36 -07:00
collin	c16a93ab44	removes <, <=, >, >= for address type	2022-07-02 18:15:18 -07:00
collin	0a4069fe39	merge testnet3	2022-07-02 14:08:02 -07:00
Mazdak Farrokhzad	952d7f4e36	records: base them atop circuits instead	2022-06-30 15:37:18 +02:00
collin	1cb4afe5f9	impl record type tests	2022-06-27 16:59:06 -10:00
collin	90aae40138	regen tests	2022-06-27 12:51:24 -10:00
collin	5ee2858b0a	add tests and remove dead code	2022-06-22 22:38:33 -10:00
collin	7417496eee	merge testnet3	2022-06-22 21:42:00 -10:00
collin	4a80445bd8	test hashing u128 with ped64 fails	2022-06-22 21:29:04 -10:00
collin	4400545543	add all core circuit tests	2022-06-22 21:19:26 -10:00
collin	df908345bc	add circuit variable access and type check	2022-06-22 15:49:50 -10:00
Mazdak Farrokhzad	01e4b292cf	cleanup unused expecations	2022-06-21 17:23:30 +02:00
Mazdak Farrokhzad	7226659bf6	Value -> Literal	2022-06-21 17:12:34 +02:00
Mazdak Farrokhzad	ddbf2ae849	1. Speed up string literal lexing. ... 2. Move address check to parser. 3. Move assignment place WF check to type checker.	2022-06-21 17:07:44 +02:00
collin	bfd3a37a42	merge testnet3	2022-06-20 12:34:33 -07:00
0rphon	34a408ea41	sqrt tests	2022-06-16 16:56:00 -07:00
0rphon	b03c890dd2	syntactical operator tests	2022-06-16 16:45:37 -07:00
gluax	c9ab4bd3d7	add bitwise op parsing, fix tests	2022-06-16 15:40:48 -07:00
gluax	b656fd5347	fix type checking on certain bitwise operations	2022-06-16 12:49:41 -07:00
0rphon	ed9ca4d6d8	added some tests	2022-06-16 12:06:46 -07:00
collin	b9f8bafc91	pull latest testnet3	2022-06-15 16:52:49 -07:00
0rphon	c54cf17ce1	resolve conflicts	2022-06-15 16:34:57 -07:00
0rphon	0daffb267b	reverted filename path	2022-06-15 16:19:20 -07:00
0rphon	d0cfa983b5	fixed bug	2022-06-15 16:06:26 -07:00
collin	b2890f393a	merge testnet3	2022-06-15 10:23:01 -07:00
Mazdak Farrokhzad	eee838abba	fixes in special methods parsing	2022-06-15 14:51:44 +02:00
collin	0e59e9bcf9	fix cmp type checking	2022-06-14 10:55:59 -07:00
collin	831e011f42	use more clear type checking methods	2022-06-13 14:53:01 -07:00
collin	4e3ed8d4dc	regen tests	2022-06-10 13:02:16 -07:00
gluax	f6990e75fc	fixed some bugs	2022-06-08 06:46:54 -07:00
gluax	8ad69944c0	bug fixes	2022-06-02 09:39:49 -07:00
collin	27c858a0fc	merge testnet3	2022-06-02 11:33:11 -04:00
collin	85eb1adcce	rename corelib -> core, update readme	2022-06-02 11:22:08 -04:00
Collin Chin	59ffe66363	Merge branch 'testnet3' into issue-1841	2022-06-01 22:51:44 -04:00
gluax	9638a695aa	fix more bugs, add type checking	2022-06-01 11:16:00 -07:00
collin	3b62e3cc97	fix bugs	2022-06-01 13:49:55 -04:00
gluax	220cb3e730	rename stdlib -> corelib	2022-06-01 09:09:38 -07:00
gluax	f34f63cea4	update abnf	2022-06-01 08:48:36 -07:00
gluax	c10eb63575	add failing expectation for an invalid input type	2022-05-31 10:36:35 -07:00
gluax	0ce4639a1b	merge upstream, test builtin ident types	2022-05-31 10:34:57 -07:00
Mazdak Farrokhzad	6399f873f5	improve error for '&' not followed by '&'	2022-05-31 16:28:01 +02:00
gluax	2db204b81e	further changes to the visitor pattern to clean up code	2022-05-30 10:53:06 -07:00
collin	2327bca617	implement static string type	2022-05-26 16:43:18 -04:00
gluax	044b2a10a4	refa:ctored visitor pattern to better on an the AST	2022-05-26 13:29:51 -07:00
gluax	4f30e6e896	add ident type back in	2022-05-25 15:56:44 -07:00
gluax	2117ee3ae8	resolve readme conflict	2022-05-25 11:55:23 -07:00
collin	65408acbb5	fix lexer test	2022-05-25 14:10:15 -04:00
collin	8d79193474	merge testnet3	2022-05-25 14:02:10 -04:00
gluax	019598c84e	#1805 was fixed by a previous commit	2022-05-23 18:57:14 -07:00
gluax	1cd7aad6ad	fix #1819	2022-05-23 18:55:42 -07:00
gluax	ba4f1666d1	fix #1821	2022-05-23 18:00:33 -07:00
gluax	eee58883a6	clean up and fix type set checking	2022-05-23 11:07:43 -07:00
collin	b8780e888d	merge testnet3	2022-05-20 10:39:21 -04:00
collin	119c191836	merge testnet3	2022-05-18 14:29:54 -04:00
Collin Chin	4ce11080b5	Merge pull request #1825 from AleoHQ/fix-loop-end-inclusive ... [parser] Fix to disallow inclusive loop ending bound.	2022-05-18 14:17:32 -04:00
Mazdak Farrokhzad	882f2e5454	remove char type + literals	2022-05-18 14:33:04 +02:00
Mazdak Farrokhzad	7f435eba48	remove expression statements	2022-05-17 14:41:30 +02:00
Alessandro Coglio	1761b80578	[parser] Fix to disallow including loop ending bound. ... This is not part of the current version of Leo (cf. ABNF grammar and Leo Reference). Adapt tests.	2022-05-16 21:24:42 -07:00
Alessandro Coglio	dcf029e645	[tests] Remove unused parser errors. ... Also revise expectations. The changes look extensive in the diff, but only the error codes have changed (at least, that's the expectation, and this has been visually checked in some places of the diff).	2022-05-16 10:34:27 -07:00
0rphon	38fa7a9608	added more tests/generated expectations for the ones that pass	2022-05-15 21:53:28 -07:00
Alessandro Coglio	21616fe167	[parser] Remove the input keyword. ... This is also not in the current grammar, and it does not look like it is going to be re-added.	2022-05-13 23:50:33 -07:00
Alessandro Coglio	2fbaf759db	[parser] Remove mut and type keywords. ... As discussed, these are no longer in the grammar. If and when we need them, we will re-add them. This also removes some extra code that gives a specific error when mut is used. However, that is in fact another bug, because `mut` is a valid identifier in the current grammar, and thus this extra code unjustly rejects code that uses `mut` as an identifier. Adjust some tests and expectations.	2022-05-13 23:36:08 -07:00
collin	f6aa7a578a	merge testnet3	2022-05-13 12:33:35 -07:00
Collin Chin	0e24e670bb	Merge pull request #1816 from AleoHQ/test-comment-into-yaml ... [tests] move comment from body to yaml header	2022-05-13 09:48:50 -07:00
Collin Chin	f4e241efad	Merge pull request #1815 from AleoHQ/int-pow-tests ... [tests] make integer pow tests consistent	2022-05-13 09:44:52 -07:00
Collin Chin	98cd7e91aa	Merge pull request #1813 from AleoHQ/move-field-test ... [tests] Move failing test to new fail.	2022-05-13 09:41:59 -07:00
Collin Chin	21b295fafe	Merge pull request #1810 from AleoHQ/group-x_and_y ... [tests] fix (x,y)group test	2022-05-13 09:41:45 -07:00
Collin Chin	baddfcc076	Merge pull request #1808 from AleoHQ/fix-implicit-literal-tests ... [tests] Fix format and expectation of a test.	2022-05-13 09:41:30 -07:00
Eric McCarthy	c3f59bbb66	[tests] move comment from body to yaml header	2022-05-13 00:10:39 -07:00
Eric McCarthy	e3c3b6d79a	[tests] make integer pow tests consistent	2022-05-12 23:20:35 -07:00
Alessandro Coglio	f502b9c5e9	[tests] Move failing test to new fail. ... Instead of commenting out this failing test, it seem better to add to a new file for failing tests. If and when we change Leo to accept field literals in hex, we can move the test from the Fail file to the Pass fail. This also helps the ACL2 tester, which is currently not handling comment-out tests of this form.	2022-05-12 14:04:22 -07:00
collin	bacc0d7510	merge testnet3	2022-05-12 13:18:43 -07:00
Eric McCarthy	27991a6423	[tests] add expectation for group/x_and_y.leo	2022-05-12 10:57:52 -07:00
Mazdak Farrokhzad	a5ad874ffb	spans: use source map backing	2022-05-12 16:09:18 +02:00
Alessandro Coglio	20a081da37	[tests] Fix format and expectation of a test. ... This was apparently disabled, but it did not start with a block comment. This commit fixes it to start with a block comment as required. This commit also makes it a failing test, which is appropriate because in the current version of Leo we do not allow untyped literals (i.e. lone numerals as expressions), and it is thus a good negative test for the current version of Leo. When we extend Leo to allow untyped literals, we can simply flip the expectation of this test from Fail to Pass.	2022-05-11 21:16:41 -07:00
collin	8f17d6294a	rename scalar -> primitive	2022-05-11 14:09:12 -07:00
Alessandro Coglio	62f2267c2b	[parser] Fix parsing of ordering expressions. ... Follow the grammar rule. The ordering operators are not associative. Split previous tests into succeeding and failing ones. Refresh expectations of old test files. Add expectations of new test files.	2022-05-10 23:32:46 -07:00
Eric McCarthy	06cb450593	[tests] add block comment annotation to field/sub.leo and field/ternary.leo and add expectations files	2022-05-10 13:38:41 -07:00
collin	1a569eb655	regen tests	2022-05-10 11:59:34 -07:00
collin	c1d36ee62e	remove const function code	2022-05-10 11:57:23 -07:00
collin	1bf39e76a9	commit expectations	2022-05-10 11:38:29 -07:00
collin	cca3c84ef4	remove unused imports code and tests	2022-05-10 11:22:30 -07:00
gluax	23f19fc4f7	missed regening a test	2022-05-05 15:58:41 -07:00
gluax	b79b961610	make new tests	2022-05-05 15:44:33 -07:00
gluax	d33e69bac8	re-introduce some disabled tests, fix some	2022-05-05 15:38:55 -07:00
gluax	e03af95ff6	change output format, st doesn't change bc of input file	2022-05-04 15:43:07 -07:00
gluax	b97bf4c9bc	started going through deprecated tests, noticed parts of testframework were broken	2022-05-04 15:37:59 -07:00
gluax	2c252f7878	all current compiler tests pass, need to add more	2022-05-04 13:37:53 -07:00
gluax	4fb95d1195	initial commit for tc, adds get_type to Node	2022-05-03 11:26:56 -07:00
gluax	18bd03318f	use input_file for each, as now inline input content is ignored	2022-05-02 20:34:37 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
gluax	7e6cc65d54	change back to parse_input to reflect what we do for parse_program	2022-04-28 12:44:54 -07:00
gluax	7524a325bf	fix grabbing last error	2022-04-27 12:31:24 -07:00
gluax	5108cab460	most compiler tests passing	2022-04-27 12:04:45 -07:00
gluax	8c7fe53ff6	fix leo input parser bug	2022-04-27 11:52:06 -07:00
gluax	8c86407b91	cleaning up tests, fixed compiler bug, found input parse bug	2022-04-27 11:44:05 -07:00
Eric McCarthy	344cc61d0c	[lexer] add "_fail" suffix on test file names for tests that are supposed to fail (#1770)	2022-04-25 08:58:41 -07:00
collin	f89966fe32	merge testnet3	2022-04-21 14:37:33 -07:00
Collin Chin	23fca6af47	Merge pull request #1751 from AleoHQ/abnf-bidi-overrides ... [ABNF] disallow bidi override codepoints	2022-04-20 09:34:00 -07:00
Eric McCarthy	3227930df9	[lexer] add fail tests for bidi overrides	2022-04-19 13:16:09 -07:00
gluax	98c7ced6fe	merge upstream testnet3	2022-04-19 12:58:28 -07:00
Collin Chin	645b5a2be7	Merge pull request #1750 from AleoHQ/address-check ... Address check	2022-04-19 12:56:27 -07:00
gluax	54c936cc61	leo warnings, disable unused errors for now	2022-04-18 14:06:28 -07:00
collin	f53817c5f5	implement real address literal check	2022-04-13 15:21:08 -07:00
Mazdak Farrokhzad	b955b77ac2	parser: minor cleanup + span fix	2022-04-13 22:52:53 +02:00
Mazdak Farrokhzad	31fcc2f216	parser: store (prev_)token	2022-04-13 22:20:48 +02:00
gluax	9f79ca7169	allow const but throw a recoverable error	2022-04-12 11:46:35 -07:00
gluax	cfc5b00bad	add constant keyword, only used for params	2022-04-10 23:10:55 -07:00
gluax	a5b692a765	merge upstream testnet3	2022-04-06 10:25:26 -07:00
gluax	3936e6c202	doc new fn, test updates	2022-04-06 10:23:20 -07:00
gluax	3a85223e22	adjust tests	2022-04-05 11:38:21 -07:00
gluax	a675b81c0a	change tests	2022-04-05 09:36:22 -07:00
gluax	80d97416cb	fixes and correct tests	2022-04-04 15:31:08 -07:00
gluax	27921a61e6	tuples removed	2022-03-28 10:35:36 -07:00
gluax	95d508566f	remove circuit access	2022-03-28 07:54:29 -07:00
gluax	877674230a	remove aliases and gcs	2022-03-28 07:47:05 -07:00
gluax	78b04ff000	remove as and imports	2022-03-28 07:42:23 -07:00
gluax	ef4b3787a9	remove arrays	2022-03-28 07:31:53 -07:00
gluax	401c6a6d4d	remove annotation and static access	2022-03-28 07:04:29 -07:00
gluax	7ad500b344	remove uneeded circuit syms	2022-03-28 06:53:22 -07:00
gluax	d37f9f29c2	remove circuits	2022-03-28 06:32:55 -07:00
gluax	398e6f5469	merge upstream testnet3	2022-03-28 06:21:17 -07:00
gluax	4f62c86b39	test open bugs, they all pass :)	2022-03-17 10:46:42 -07:00
gluax	34e1b39805	some cleanup	2022-03-16 15:04:49 -07:00
gluax	790c282e8b	merge upstream testnet3	2022-03-16 13:56:55 -07:00
gluax	0e7d36a61c	current tests pass	2022-03-16 13:02:56 -07:00
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	7c049177cb	Merge branch 'testnet3' into improve-parser-tests	2022-03-14 16:36:16 -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	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
gluax	029a42df0a	regen tests so far	2022-02-28 14:47:22 -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