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,171 Commits 53 Branches 46 Tags 339 MiB
e03af95ff6
Commit Graph

4171 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
gluax
9c8ac64871 expressions so far, and clean up, need to appropiately handle binary exprs 2022-05-04 09:27:00 -07: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
4612602807 type checking errors so far 2022-05-03 14:00:40 -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
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
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
Collin Chin
cd606ac578
Merge pull request #1774 from AleoHQ/feature/create-symbol-table 
[Impl] Symbol Table
 2022-05-02 09:22:17 -07: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