AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-20 08:01:42 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,278 Commits 54 Branches 46 Tags 341 MiB
dc08403899
Commit Graph

380 Commits

Author SHA1 Message Date
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
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
0rphon
ca6ae112ff fixed take_hook 2022-03-16 13:15:58 -07:00
gluax
0e7d36a61c current tests pass 2022-03-16 13:02:56 -07:00
0rphon
82ce58544b fixed ci 2022-03-15 17:15:08 -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
a9ed6dcc81 Update char.leo 2022-03-14 16:36:36 -07:00
0rphon
7c049177cb Merge branch 'testnet3' into improve-parser-tests 2022-03-14 16:36:16 -07:00
0rphon
1604f10115 re-enabled tests, removed fuzzing hooks 2022-03-14 16:29:34 -07:00
gluax
ef8d0415e7 change parens around variable into recoverable error 2022-03-14 08:12:03 -07:00
gluax
9a45c2ae99 fix array around 1 element array dim size 2022-03-14 08:07:01 -07:00
gluax
2c30cba70f remove parened field 2022-03-14 07:58:51 -07:00
0rphon
3c258bf3a4 code cleanup, added tests, marked dangerous code for review 2022-03-09 15:16:52 -08:00
gluax
377c65be21 fix issues from fixing a panic 2022-03-09 12:08:15 -08:00
gluax
a227e7c113 add tests, fix namespaces on older tests, fix another bug 2022-03-09 11:11:30 -08:00
gluax
86000325bf remove option types in rest of places, clean up canonicalization 2022-03-08 12:58:32 -08:00
gluax
eaf0a82154 merge testnet3 2022-03-08 10:24:36 -08:00
gluax
9d088ea152 remove implicit ints in tests 2022-03-08 10:20:05 -08:00
0rphon
9afee5e328 updated tests 2022-03-08 01:01:30 -08:00
0rphon
39ea7a3ceb Merge branch 'testnet3' into improve-parser-tests 2022-03-08 00:57:32 -08:00
Collin Chin
5e2ba78750
Merge pull request #1656 from AleoHQ/remove/unsized-array 
Remove/unsized array
 2022-03-07 17:14:03 -08:00
collin
6a33035257 remove unsized array parser tests 2022-03-07 14:50:53 -08:00
gluax
d39a3c00d7 fix tests so far 2022-03-07 08:30:03 -08:00
collin
1f7b1b57cc remove unsized array tests 2022-03-04 12:27:17 -08:00
gluax
060c13dd8d clippy fix 2022-03-04 11:21:42 -08:00
gluax
789862103e another char bug fix 2022-03-04 11:18:28 -08:00
gluax
308512fab9 add tests 2022-03-04 10:26:34 -08:00
gluax
85764aa394 fix self discrep 2022-03-04 10:03:42 -08:00
gluax
bd1d602f6d fix annotation error msg 2022-03-04 09:28:29 -08:00
0rphon
7d2cbb2ec2 done with coverage 
finished coverage tests. adding case by case tests from the parser fuzzer next
 2022-03-02 14:13:37 -08:00
0rphon
2b4751e7e1 regenned tests 2022-03-01 12:15:54 -08:00
0rphon
9d1714d779 Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests 2022-03-01 12:00:10 -08:00
gluax
029a42df0a regen tests so far 2022-02-28 14:47:22 -08:00
gluax
dd4f51a218 fix testframework path 2022-02-28 13:40:43 -08:00
collin
9ff0d3fed3 move tools/test-framework -> tests/test-framework 2022-02-28 10:29:05 -08:00
Collin Chin
9a44dc35c3
Merge pull request #1643 from AleoHQ/lexer-errors 
Lexer Errors
 2022-02-28 08:53:56 -08:00
0rphon
cc71ed2d07 emoji tests 2022-02-25 17:21:41 -08:00
gluax
c0b0e28ee2 error messages and test regen 2022-02-25 11:23:59 -08:00
0rphon
6f9ffcedf2 more edge cases 2022-02-23 17:24:51 -08:00
gluax
7f21855312 fix infinite loop, check if tests work 2022-02-23 16:14:53 -08:00
0rphon
45326234c3 updated tests 2022-02-23 15:09:19 -08:00
0rphon
c6926ef1fa Merge remote-tracking branch 'origin/testnet3' into improve-parser-tests 2022-02-23 15:07:49 -08:00
0rphon
ba6f235937 added some more test cases 2022-02-23 15:07:32 -08:00
damirka
239f06b3af removes leo_input mentions, cleanup dep 2022-02-22 03:10:50 +03:00
damirka
aa61840eb6 Merge branch 'testnet3' into leo-parser-inputs 2022-02-22 02:59:54 +03:00
damirka
0c22d631e8 adds tests, removes legacy code 2022-02-22 02:18:33 +03:00
Collin Chin
7fb6216a13
Merge pull request #1625 from AleoHQ/bug/1620-malformed-block-comments 
[Fix] malformed block comments
 2022-02-21 11:01:21 -08:00
Collin Chin
b3ae194ef7
Merge pull request #1624 from AleoHQ/bug/1405-reject-one-element-tuples 
[Fix] Disallow 1 element tuple types and variables
 2022-02-18 18:16:42 -08:00
gluax
122315db3d fix test 2022-02-18 15:37:49 -08:00
0rphon
c767907b25 removed more dead lexer code 2022-02-18 16:29:24 -07:00
gluax
be9a181ef2 rengen tests 2022-02-18 15:21:18 -08:00
0rphon
938f1fdbc1 removed dead code from lexer 2022-02-18 15:49:39 -07:00
gluax
44a3d63b2f fix one test, pull latest changes 2022-02-18 13:10:17 -08:00
gluax
d769cc634d working on adding a parse import namespace 2022-02-18 13:07:49 -08:00
0rphon
d46a041895 save progress before denver 2022-02-16 11:33:52 -08:00
0rphon
0d6c258068 save progress 2022-02-14 17:25:57 -08:00
collin
d343f487ad temporarily remove parser import tests 2022-02-08 13:18:48 -05:00
gluax
57bc95879d pull upstream testnet2 resolve conflicts 2022-02-01 13:30:03 -08:00
Mazdak Farrokhzad
d6d23f938b cherry pick ast-docs commit 2022-02-01 10:59:05 -08:00
gluax
0981874787 tested all unreachables 2022-01-28 11:30:45 -08:00
gluax
9cb1f3632d add missed cases, test unreachable exprs 2022-01-28 11:28:19 -08:00
gluax
22d24411b7 test unreachable contexts 2022-01-28 10:57:13 -08:00