Commit Graph

168 Commits

Author SHA1 Message Date
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
e4744f2978 Change duplicate_name_context from Pass to Fail 2022-07-06 16:08:29 -07:00
collin
c16a93ab44 removes <, <=, >, >= for address type 2022-07-02 18:15:18 -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
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
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
0rphon
94b506cf3f fixed tests 2022-06-16 13:22:32 -07:00
0rphon
66286ca88e more tests 2022-06-16 13:07:40 -07:00
0rphon
ed9ca4d6d8 added some tests 2022-06-16 12:06:46 -07:00
collin
b2890f393a merge testnet3 2022-06-15 10:23:01 -07: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
gluax
4607f2955a add some more checks and namespaces for benchmarks, docs 2022-06-09 12:23:57 -07:00
0rphon
32d07583c5 integrated benches to test-framework 2022-06-08 15:33:12 -07:00
gluax
8ad69944c0 bug fixes 2022-06-02 09:39:49 -07:00
gluax
af0e0da6b7 add tests for known bugs 2022-06-02 09:37:55 -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
gluax
9638a695aa fix more bugs, add type checking 2022-06-01 11:16:00 -07:00
gluax
220cb3e730 rename stdlib -> corelib 2022-06-01 09:09:38 -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
gluax
2117ee3ae8 resolve readme conflict 2022-05-25 11:55:23 -07: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
collin
b8780e888d merge testnet3 2022-05-20 10:39:21 -04:00
Mazdak Farrokhzad
882f2e5454 remove char type + literals 2022-05-18 14:33:04 +02: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
0rphon
38fa7a9608 added more tests/generated expectations for the ones that pass 2022-05-15 21:53:28 -07:00
0rphon
92cac97a84 added scalar tests 2022-05-14 20:27:08 -07:00
collin
f6aa7a578a merge testnet3 2022-05-13 12:33:35 -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
Eric McCarthy
e3c3b6d79a [tests] make integer pow tests consistent 2022-05-12 23:20:35 -07:00
Eric McCarthy
b08ab82cbc [tests] fix (x,y)group test 2022-05-12 10:41:57 -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
gluax
b79b961610 make new tests 2022-05-05 15:44:33 -07:00