ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 15:31:32 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,380 Commits 53 Branches 46 Tags 339 MiB
0daffb267b
Commit Graph

4380 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alessandro Coglio
0c2aed8c9d [Testing] Update doc of test framework. 2022-05-02 12:40:14 -07:00
Collin Chin
4617c3ba35
Merge pull request #1777 from AleoHQ/fix-spelling 
Fix typos uncovered by spell checker in VS Code.
 2022-05-02 09:29:59 -07:00
Collin Chin
07ff005c83
Merge pull request #1776 from AleoHQ/abnf-doc-comment 
[ABNF] Improve doc comment.
 2022-05-02 09:29:38 -07:00
dependabot[bot]
de791e0742
Bump serde from 1.0.136 to 1.0.137 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.136 to 1.0.137.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.136...v1.0.137)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-02 16:24:16 +00:00
Collin Chin
cd606ac578
Merge pull request #1774 from AleoHQ/feature/create-symbol-table 
[Impl] Symbol Table
 2022-05-02 09:22:17 -07:00
dependabot[bot]
fc01610e13
Bump thiserror from 1.0.30 to 1.0.31 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.30 to 1.0.31.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.30...1.0.31)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-02 10:14:59 +00:00
Alessandro Coglio
653cc4a2a4 Fix typos uncovered by spell checker in VS Code. 2022-04-30 23:39:38 -07:00
Alessandro Coglio
db823bf34d [ABNF] Keep file to 80 columns. 2022-04-29 22:01:54 -07:00
Alessandro Coglio
8b5c10a61f [ABNF] Improve doc comment. 
Given that the Leo Reference explains well that the format string grammar
applies to the character sequence after processing escapes, we do not need to
say this here. Instead, we just explain the rule similarly to what we do for
others.
 2022-04-29 21:58:34 -07:00
collin
3da1ac802e reorder dependencies 2022-04-29 13:09:27 -07:00
gluax
f57396cf5f resolve pr comments 2022-04-29 10:50:33 -07:00
gluax
576615fd04 state the input files should be cloned with lf 2022-04-28 12:56:08 -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
8cb8c153fc call appropiate input parse function, make suggested changes 2022-04-28 12:26:05 -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
gluax
8275b63e57 display for symbol table 2022-04-27 09:14:59 -07:00
gluax
0fc6d17289 some clean up to compiler to be able to better test 2022-04-27 09:14:59 -07:00
gluax
bd356e1f31 need to handle input differently than we used to 2022-04-27 09:14:59 -07:00
gluax
ae5fbef58a start setting up compiler tests again 2022-04-27 09:14:59 -07:00
gluax
00282da748 merge upstream origin testnet3 2022-04-27 09:14:59 -07:00
gluax
e0c94b8f15 add clear method 2022-04-27 09:14:59 -07:00
gluax
c36023a3d6 exit if any errors were emitted 2022-04-27 09:14:59 -07:00
gluax
22b20bdd6c handler shows all errors then causes an exit at the end 2022-04-27 09:14:59 -07:00
gluax
5ec3a24cf8 initial commit 2022-04-27 09:14:59 -07:00
Collin Chin
4acf285c35
Merge pull request #1772 from AleoHQ/dependabot/cargo/testnet3/self_update-0.30.0 
Bump self_update from 0.29.0 to 0.30.0
 2022-04-26 15:52:23 -07:00
Collin Chin
9227e1c126
Merge pull request #1771 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.12 
Bump clap from 3.1.11 to 3.1.12
 2022-04-26 15:52:02 -07:00
dependabot[bot]
0771d41845
Bump self_update from 0.29.0 to 0.30.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.29.0 to 0.30.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

---
updated-dependencies:
- dependency-name: self_update
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-26 10:29:46 +00:00