ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,410 Commits 54 Branches 46 Tags 340 MiB
34a408ea41
Commit Graph

4410 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
455603f0a4 cargo fmt 2022-05-10 16:35:53 -07:00
collin
60f6b77629 add scalar operation type checking 2022-05-10 16:26:35 -07:00
collin
55260ae5ad add scalar type to ast 2022-05-10 15:34:42 -07:00
collin
9fe4a7281b add scalar type to parser 2022-05-10 15:20:04 -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
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
67fd130c0c had to handle negation of signed integers 2022-05-04 14:50:33 -07:00
gluax
2c252f7878 all current compiler tests pass, need to add more 2022-05-04 13:37:53 -07:00
Collin Chin
4a1cd29b53
Merge pull request #1781 from AleoHQ/doc-test-update 
[Testing] Update doc of test framework.
 2022-05-04 13:02:22 -07:00
gluax
9c8ac64871 expressions so far, and clean up, need to appropiately handle binary exprs 2022-05-04 09:27:00 -07:00
dependabot[bot]
4ad5c9892c
Bump serde_yaml from 0.8.23 to 0.8.24 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.23 to 0.8.24.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.23...0.8.24)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-04 10:28:55 +00:00
gluax
5cb4a5d8c0 run tests so far, fix statements so far 2022-05-03 19:32:59 -07:00
gluax
db6292609d refactor symbol variable to variable scope, create new symbol variable 2022-05-03 18:39:28 -07:00
gluax
d39ee31933 statements almost done, iteration statements causing issues 2022-05-03 17:33:46 -07:00
gluax
039a71359c merge upstream testnet3, update grammar readme 2022-05-03 15:20:45 -07:00
gluax
4612602807 type checking errors so far 2022-05-03 14:00:40 -07:00
Collin Chin
12c3004dbf
Merge pull request #1783 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.15 
Bump clap from 3.1.12 to 3.1.15
 2022-05-03 13:30:11 -07:00
Collin Chin
99ff4178be
Merge pull request #1782 from AleoHQ/tests-block-comments 
[tests] Consistently use block comments.
 2022-05-03 13:29:57 -07:00
Collin Chin
a1335f56e8
Merge pull request #1780 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.137 
Bump serde from 1.0.136 to 1.0.137
 2022-05-03 13:28:24 -07:00
Collin Chin
983bfffa5e
Merge pull request #1778 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.31 
Bump thiserror from 1.0.30 to 1.0.31
 2022-05-03 13:28:15 -07:00
gluax
1a25db8e23 start on type checking statements 2022-05-03 13:16:13 -07:00
gluax
4fb95d1195 initial commit for tc, adds get_type to Node 2022-05-03 11:26:56 -07:00
gluax
46bd62870d remove missed access file 2022-05-03 09:53:46 -07:00
dependabot[bot]
fbfc0dc32f
Bump clap from 3.1.12 to 3.1.15 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.12 to 3.1.15.
- [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.12...v3.1.15)

---
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-03 10:23:07 +00:00
Alessandro Coglio
ce7dfedea6 [testing] Remove obsolete section from README. 2022-05-02 21:51:54 -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
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