28 Commits

Author	SHA1	Message	Date
Pranav Gaddamadugu	d11ed35c77	Addressing feedback	2022-07-28 09:24:33 -07:00
Pranav Gaddamadugu	9dd45c3620	Type checking errors on multiple returns	2022-07-24 21:32:36 -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	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
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	0e59e9bcf9	fix cmp type checking	2022-06-14 10:55:59 -07:00
gluax	af0e0da6b7	add tests for known bugs	2022-06-02 09:37:55 -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
Collin Chin	416d8d5ad9	fix nit	2022-05-17 11:36:04 -04: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
gluax	d33e69bac8	re-introduce some disabled tests, fix some	2022-05-05 15:38:55 -07:00
gluax	a7c3696e90	merge testnet3 into required types, also remove identifier type	2022-05-02 19:43:46 -07:00
gluax	8c86407b91	cleaning up tests, fixed compiler bug, found input parse bug	2022-04-27 11:44:05 -07:00
gluaxspeed	56996f989e	fix ternary bug	2021-08-18 01:09:45 -07:00
gluaxspeed	745f6c2275	variable shadow error	2021-07-27 13:39:34 -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
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	61253031b4	countdown loops	2021-07-22 22:17:33 -07:00
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07: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	8464c5b9d2	i8 + mutability	2021-05-03 17:28:53 +03:00
Protryon	534f36a077	compiler tests	2021-04-19 18:08:14 -07:00