ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,230 Commits 53 Branches 44 Tags 331 MiB
6ce64f8a78
Commit Graph

487 Commits

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