ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,464 Commits 54 Branches 46 Tags 340 MiB
f1cd080d91
Commit Graph

4464 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
848868a05a make suggested changes fix tests 2022-05-23 09:37:04 -07:00
collin
d0273719ab push broken type checker 2022-05-23 11:40:14 -04:00
gluax
ff46c98b9e update test framework docs 2022-05-23 08:22:11 -07:00
dependabot[bot]
744b6ddafe
Bump regex from 1.5.5 to 1.5.6 
Bumps [regex](https://github.com/rust-lang/regex) from 1.5.5 to 1.5.6.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.5.5...1.5.6)

---
updated-dependencies:
- dependency-name: regex
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-23 10:18:33 +00:00
Eric McCarthy
2d365c49b5 tgc parsing for testnet3 2022-05-23 01:22:23 -07:00
Alessandro Coglio
09001004d4 [ABNF] Refine the rule for input titles. 
Since we only allow four kinds of input section titles, corresponding to the
public/private/constant/const characterization of function inputs, it seems
beneficial to put this into the grammar, where it is easily captured.

Note that the previous version of the rule, which uses `identifier`, is not
quite right, because, for example, `public` is not an identiifer (it is a
keyword). So the rule would have to be modified anyways.
 2022-05-20 21:58:51 -07:00
collin
b8780e888d merge testnet3 2022-05-20 10:39:21 -04:00
Collin Chin
3c00cf5b5f
Merge pull request #1831 from AleoHQ/fix-0x-tests 
[tests] Change category of the `0x` tests
 2022-05-20 10:36:57 -04:00
Alessandro Coglio
560ea590a9 [tests] Change category of the 0x tests 2022-05-19 20:31:05 -07:00
Collin Chin
ef47b04c43
Merge pull request #1826 from AleoHQ/issue-1795 
Remove expression statements
 2022-05-19 13:01:49 -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
4237a52696 simplify eat_identifier 2022-05-18 14:46:45 +02: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
Collin Chin
f09f168839
Merge pull request #1818 from AleoHQ/fix-mut-type-keywords 
Remove `mut`, `type`, and `input` keywords
 2022-05-17 08:34:16 -07:00
Collin Chin
89aba7c0bf
Merge pull request #1817 from AleoHQ/abnf-scalar-type 
[ABNF] Add scalar type.
 2022-05-17 08:22:43 -07:00
Mazdak Farrokhzad
5ec6d873a7 fix #1811 2022-05-17 16:07:43 +02:00
Mazdak Farrokhzad
7f435eba48 remove expression statements 2022-05-17 14:41:30 +02:00
Alessandro Coglio
b1baf90719 [parser] Adhere to style. 2022-05-16 21:27:29 -07: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
0rphon
92cac97a84 added scalar tests 2022-05-14 20:27:08 -07:00
Alessandro Coglio
4989c50409 [parser] Attempt to fix style check. 2022-05-14 00:03:55 -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
Alessandro Coglio
a9564552a9 [ABNF] Add scalar type. 2022-05-13 21:32:56 -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
Collin Chin
f014dc8f85
Merge pull request #1807 from AleoHQ/primitive-type 
Primitive type
 2022-05-13 09:40:44 -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
0rphon
d811f62559
fixed stderr (#1812) 2022-05-12 14:28:19 -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
collin
c8de6826c2 preserve char scalar nonscalar 2022-05-12 13:16:25 -07:00
Eric McCarthy
27991a6423 [tests] add expectation for group/x_and_y.leo 2022-05-12 10:57:52 -07:00
Eric McCarthy
b08ab82cbc [tests] fix (x,y)group test 2022-05-12 10:41:57 -07:00
Collin Chin
4d377b37f6
Merge pull request #1784 from AleoHQ/span-refactor 
Span refactor
 2022-05-12 10:34:13 -07:00
Mazdak Farrokhzad
8d915339a0 span refactor: fix build + simplify &span 2022-05-12 16:24:17 +02:00
Mazdak Farrokhzad
0e5402773a span refactor: fix rebase fallout 2022-05-12 16:17:53 +02:00
Mazdak Farrokhzad
508a95b2ba span refactor: improve comment 2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
8bf06ed872 add remark re. parser benchmarks 2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
2d6e737f7e span refactor: fix bench 2022-05-12 16:12:32 +02:00
Mazdak Farrokhzad
01a23f6e6e cargo clippy + similar 2022-05-12 16:12:31 +02:00