ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-19 16:21:45 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,364 Commits 54 Branches 46 Tags 339 MiB
503956131a
Commit Graph

4364 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Eric McCarthy
344cc61d0c
[lexer] add "_fail" suffix on test file names for tests that are supposed to fail (#1770) 2022-04-25 08:58:41 -07:00
dependabot[bot]
d5e68f5a65
Bump clap from 3.1.11 to 3.1.12 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.11 to 3.1.12.
- [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.11...v3.1.12)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-25 10:18:05 +00:00
gluax
124e6b2e9b
[Impl] Ast Visitor (#1769) 
* visitor pattern

* merge upstream, regen grammar readme

* rename reducer to passes

* update comments to properly reflect visitor

* fmt and clippy fixes

* fix comments

Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
 2022-04-22 16:05:50 -07:00
Collin Chin
a7b2cbd9e2
Merge pull request #1768 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.11 
Bump clap from 3.1.10 to 3.1.11
 2022-04-22 09:08:41 -07:00
Collin Chin
56498081f9
Merge pull request #1767 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.57 
Bump anyhow from 1.0.56 to 1.0.57
 2022-04-22 09:08:33 -07:00
Collin Chin
896a6b2e47
Merge pull request #1766 from AleoHQ/abnf-bidi-doc 
[ABNF] Improve doc comment about bidi exclusions.
 2022-04-22 09:08:16 -07:00
collin
4fa9704974 merge testnet3 2022-04-22 09:07:47 -07:00
Collin Chin
5bddcb7d58
Merge pull request #1761 from AleoHQ/feature/warnings 
[Impl] Warnings
 2022-04-22 09:02:54 -07:00
dependabot[bot]
ef61542e5d
Bump clap from 3.1.10 to 3.1.11 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.10 to 3.1.11.
- [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.10...v3.1.11)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-22 10:15:34 +00:00
dependabot[bot]
a35c43364d
Bump anyhow from 1.0.56 to 1.0.57 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.56 to 1.0.57.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.56...1.0.57)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-22 10:15:27 +00:00
Alessandro Coglio
a8c674a881 [ABNF] Improve doc comment about bidi exclusions. 
This mentions embeddings and isolates besides overrides, in accordance with the
official terminology at https://www.unicode.org/reports/tr9/.

This update was discussed and agreed with @bendyarm.

Note: The Leo Reference includes text explaining these exclusions, with links to
the document above as well to the web site and paper about Trojan source
exploits.
 2022-04-21 20:02:25 -07:00
collin
f89966fe32 merge testnet3 2022-04-21 14:37:33 -07:00
Collin Chin
c72f860349
Merge pull request #1763 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.10 
Bump clap from 3.1.9 to 3.1.10
 2022-04-21 12:58:15 -07:00
Collin Chin
74365cb076
Merge pull request #1765 from AleoHQ/ast-doc-posnum 
[AST] Update doc comment to not mention Pest grammar.
 2022-04-21 12:58:05 -07:00
Alessandro Coglio
d2cca18f07 [AST] Update doc comment to not mention Pest grammar. 2022-04-20 22:07:33 -07:00
dependabot[bot]
6fed7a1288
Bump clap from 3.1.9 to 3.1.10 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.9 to 3.1.10.
- [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.9...v3.1.10)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-20 22:48:17 +00:00