ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 17:51:39 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,234 Commits 54 Branches 46 Tags 340 MiB
416d8d5ad9
Commit Graph

4234 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Collin Chin
416d8d5ad9
fix nit 2022-05-17 11:36:04 -04: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
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
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
Collin Chin
aec59cc182
Merge pull request #1803 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.18 
Bump clap from 3.1.17 to 3.1.18
 2022-05-11 13:44:58 -07:00
Collin Chin
0197aebc5a
Merge pull request #1802 from AleoHQ/fix-ordering-expression-parsing 
[parser] Fix parsing of ordering expressions.
 2022-05-11 13:44:38 -07:00
dependabot[bot]
55284f82ba
Bump clap from 3.1.17 to 3.1.18 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.17 to 3.1.18.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.17...v3.1.18)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-11 10:20:13 +00: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
Collin Chin
521c04b4d6
Merge pull request #1800 from AleoHQ/test-field-sub-ternary 
[tests] add block comment annotation to field/sub.leo and field/terna…
 2022-05-10 13:57:00 -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 Chin
389026f4f3
Merge pull request #1799 from AleoHQ/remove-const-function 
Remove const function
 2022-05-10 12:30:41 -07:00
Collin Chin
c7ad526b1c
Merge pull request #1798 from AleoHQ/remove-imports 
Remove imports
 2022-05-10 12:02:43 -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
Collin Chin
89646f08af
Merge pull request #1788 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.17 
Bump clap from 3.1.15 to 3.1.17
 2022-05-10 11:18:03 -07:00
Collin Chin
80ca99a2f1
Merge pull request #1785 from AleoHQ/dependabot/cargo/testnet3/serde_yaml-0.8.24 
Bump serde_yaml from 0.8.23 to 0.8.24
 2022-05-10 11:17:55 -07:00
Collin Chin
be9fa96d9e
Merge pull request #1786 from AleoHQ/feature/type-checking 
[Impl] type-checking
 2022-05-10 11:17:44 -07:00
collin
45056ec27b spelling 2022-05-10 11:06:59 -07:00
dependabot[bot]
666fe88531
Bump clap from 3.1.15 to 3.1.17 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.15 to 3.1.17.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.15...v3.1.17)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-09 10:26:56 +00:00
gluax
23f19fc4f7 missed regening a test 2022-05-05 15:58:41 -07:00
gluax
ab57ea1d34 fmt compiler test 2022-05-05 15:49:08 -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
Collin Chin
527c55f841
Merge pull request #1666 from AleoHQ/feature/1654-require-types 
[Impl] Require Types
 2022-05-04 15:53:55 -07:00
collin
214f6bf5d7 make comments consistent 2022-05-04 15:44:41 -07:00