ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,430 Commits 53 Branches 46 Tags 339 MiB
5b572278fb
Commit Graph

355 Commits

Author SHA1 Message Date
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
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
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