520 Commits

Author	SHA1	Message	Date
collin	60e4279934	merge testnet3	2022-07-29 14:16:34 -07:00
collin	4dda9ab0fd	regen tests	2022-07-29 14:09:09 -07:00
Pranav Gaddamadugu	bf1421280e	Fix bug in SSA; regen test expectations	2022-07-29 12:52:18 -07:00
collin	a2862f8894	stabilize all tests working with snarkVM package build	2022-07-28 17:07:51 -07:00
collin	166c159867	stabilize tuple tests	2022-07-28 16:50:18 -07:00
collin	0a34115ef7	stabilize scalar tests	2022-07-28 16:46:30 -07:00
collin	86219c0044	stabilize record tests	2022-07-28 16:40:48 -07:00
collin	5a26eed8ca	integer min tests fixed	2022-07-28 16:23:16 -07:00
collin	eaa04a5f7e	core algorithm tests working	2022-07-28 15:27:43 -07:00
collin	66c5deb7e3	merge testnet3 do not regen tests	2022-07-28 14:23:47 -07:00
collin	8a0e9bc5cc	merge testnet3 regen tests	2022-07-28 14:19:57 -07:00
collin	10c9bb1c28	fix directory bug for test expectations	2022-07-28 14:14:25 -07:00
collin	fa0fd5b8c0	integer tests passing. strings wip	2022-07-28 13:34:44 -07:00
Pranav Gaddamadugu	4d978dc41c	Regenerate test expectations after AST changes	2022-07-28 09:25:26 -07:00
Pranav Gaddamadugu	d11ed35c77	Addressing feedback	2022-07-28 09:24:33 -07:00
collin	184af219ee	build and check aleo files during cargo test	2022-07-27 15:49:49 -07:00
Mazdak Farrokhzad	86ae9e1727	refactor benchmarks code	2022-07-27 19:40:19 +02:00
collin	77a16585fe	remove unused tests	2022-07-25 18:48:16 -07:00
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