347 Commits

Author	SHA1	Message	Date
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
Collin Chin	be9fa96d9e	Merge pull request #1786 from AleoHQ/feature/type-checking ... [Impl] type-checking	2022-05-10 11:17:44 -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
Collin Chin	527c55f841	Merge pull request #1666 from AleoHQ/feature/1654-require-types ... [Impl] Require Types	2022-05-04 15:53: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
Collin Chin	4a1cd29b53	Merge pull request #1781 from AleoHQ/doc-test-update ... [Testing] Update doc of test framework.	2022-05-04 13:02:22 -07:00
gluax	4fb95d1195	initial commit for tc, adds get_type to Node	2022-05-03 11:26:56 -07:00
Alessandro Coglio	ce7dfedea6	[testing] Remove obsolete section from README.	2022-05-02 21:51:54 -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
Alessandro Coglio	9dcc0a5ec5	[tests] Consistently use block comments. ... There were four test files, found by @bendyarm, that use end-of-line comments instead of block comments as prescribed by the README.md. This commit changes them to block comments, for consistency with the README.md, and uniformity across the files. There is clearly nothing wrong with supporting block comments (which apparently the Rust implementation of the Leo test framework already does). However, just supporting block comments slightly simplifies the processing of the Leo test files on the ACL2 side, as we are building that processing right now. We could support end-of-line comments on the ACL2 side as well if desired. But it seems unnecessary and unimportant at least for now. This is a quick PR, so it's okay if it gets rejected and instead we want to support end-of-line comments right away.	2022-05-02 14:28:43 -07:00
Alessandro Coglio	0c2aed8c9d	[Testing] Update doc of test framework.	2022-05-02 12:40:14 -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	8eecca1af7	[tests] fix missing file extension on test file and remove vestigial dollar sign	2022-04-19 14:19:55 -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