ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 17:13:06 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,808 Commits 53 Branches 44 Tags 331 MiB
1312c5d036
Commit Graph

3808 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Collin Chin
1312c5d036
Merge pull request #1630 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.1 
Bump clap from 3.1.0 to 3.1.1
 2022-02-22 13:51:34 -08:00
Collin Chin
f57bbcfc8a
Merge pull request #1629 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.55 
Bump anyhow from 1.0.54 to 1.0.55
 2022-02-22 13:51:23 -08:00
dependabot[bot]
9ae4dd34a5
Bump clap from 3.1.0 to 3.1.1 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.0 to 3.1.1.
- [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/clap_complete-v3.1.0...v3.1.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-02-22 10:19:11 +00:00
dependabot[bot]
9bd866da5f
Bump anyhow from 1.0.54 to 1.0.55 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.54 to 1.0.55.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.54...1.0.55)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-02-22 10:18:58 +00:00
Collin Chin
266a14db13
Merge pull request #1628 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.54 
Bump anyhow from 1.0.53 to 1.0.54
 2022-02-21 11:01:31 -08:00
Collin Chin
7fb6216a13
Merge pull request #1625 from AleoHQ/bug/1620-malformed-block-comments 
[Fix] malformed block comments
 2022-02-21 11:01:21 -08:00
dependabot[bot]
5960e87aaf
Bump anyhow from 1.0.53 to 1.0.54 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.53 to 1.0.54.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.53...1.0.54)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-02-21 10:30:01 +00:00
Collin Chin
b3ae194ef7
Merge pull request #1624 from AleoHQ/bug/1405-reject-one-element-tuples 
[Fix] Disallow 1 element tuple types and variables
 2022-02-18 18:16:42 -08:00
Collin Chin
4ac6cbc662
Merge pull request #1621 from AleoHQ/doc-fixes 
[doc] Fix some typos and move a misplaced doc comment.
 2022-02-18 18:16:33 -08:00
Collin Chin
a8c4c2b36d
Merge pull request #1623 from AleoHQ/bug/1604-package-name-parsing-and-aliases-fix 
[Fix] Package Name Parsing
 2022-02-18 18:16:24 -08:00
Collin Chin
5f32e81008
Merge pull request #1609 from AleoHQ/abnf-pkgname-to-ident 
[ABNF] Replace package names with identifiers.
 2022-02-18 18:16:13 -08:00
gluax
122315db3d fix test 2022-02-18 15:37:49 -08:00
gluax
be9a181ef2 rengen tests 2022-02-18 15:21:18 -08:00
gluax
3515fa051d fix not needing to close block comments at end of file 2022-02-18 15:18:25 -08:00
gluax
8fd55656ee fix other parens cases 2022-02-18 15:04:38 -08:00
gluax
5a72a8e6bf disallow 1 element tuple types 2022-02-18 14:42:01 -08:00
gluax
44a3d63b2f fix one test, pull latest changes 2022-02-18 13:10:17 -08:00
gluax
63f57649de Merge branch 'testnet3' of github.com:AleoHQ/leo into bug/1604-package-name-parsing-and-aliases-fix 2022-02-18 13:08:05 -08:00
gluax
d769cc634d working on adding a parse import namespace 2022-02-18 13:07:49 -08:00
gluax
a576709124 package names are now idents but only certain characters 2022-02-18 12:30:11 -08:00
Alessandro Coglio
fd4dc15011 [doc] Fix some typos and move a misplaced doc comment. 2022-02-17 21:49:11 -08:00
Collin Chin
5c0d3f1e61
Merge pull request #1616 from AleoHQ/update-dependabot 
Update dependabot
 2022-02-17 14:42:03 -08:00
Collin Chin
c09bd9904a
Merge pull request #1607 from AleoHQ/fix-examples-parser 
Fix "parse error doesn't prevent AST output"
 2022-02-17 14:30:49 -08:00
collin
cff31eeece update dependabot branch target and dependencies 2022-02-17 14:21:39 -08:00
Collin Chin
5e466b7bf5
Merge pull request #1614 from AleoHQ/migrate-ast-pass-canonicalization 
Migrate ast pass canonicalization
 2022-02-17 14:18:09 -08:00
Collin Chin
2abb736b43
Update ast/src/reducer/mod.rs 2022-02-17 13:31:10 -08:00
gluax
89569e658e updated and better file descirptions 2022-02-17 12:54:19 -08:00
Alessandro Coglio
23ddd85088 [ABNF] Replace package names with identifiers. 
This is as discussed at today's sync.

The rule for package names is gone (but it will be re-introduced later to define
formally the format of certain TOML strings, not as part of the grammar of Leo
code, but as a separate grammar component).

Uses of package names in import declarations have been replaced with uses of
identifiers.

The changes to the grammar are fairly contained, as should be the changes to the
parser. Import resolution will have to translate between dashes and underscores.
 2022-02-16 22:41:35 -08:00
gluax
ec11c2adaf fix leo clippy 2022-02-16 10:22:15 -08:00
gluax
305ef16883 clippy fix 2022-02-16 10:17:10 -08:00
collin
8241d670a5 set dependabot target branch to testnet2 2022-02-16 10:12:43 -08:00
gluax
1377d60f07 test canonicalization 2022-02-16 10:10:26 -08:00
gluax
2ea3709441 fix compiler panicing 2022-02-16 10:00:41 -08:00
gluax
213f426c04 ast-passes migrated + builds 2022-02-16 09:49:45 -08:00
Mazdak Farrokhzad
1257f0d55f parser binary: fail on syntax error 2022-02-16 18:14:53 +01:00
Collin Chin
554e972503
Merge pull request #1593 from AleoHQ/parser-benches 
Improved Parser Benchmarks
 2022-02-14 14:27:44 -05:00
0rphon
0e82808c7d
Merge pull request #1600 from AleoHQ/fix-1588 
fix character selection during `unexpected_token` error handling
 2022-02-09 10:24:46 -08:00
0rphon
4130516ff0 cleaned up benchmark code, added massive.leo benchmark 2022-02-08 18:26:24 -07:00
0rphon
ee639782e2 Merge branch 'testnet2' into parser-benches 2022-02-08 17:51:59 -07:00
0rphon
37b96acc24 Update mod.rs 2022-02-08 17:40:03 -07:00
Collin Chin
b0804d0e49
Merge pull request #1597 from AleoHQ/feature/stabilize-compiler 
Feature/stabilize compiler
 2022-02-08 13:58:46 -05:00
collin
d343f487ad temporarily remove parser import tests 2022-02-08 13:18:48 -05:00
collin
341af23af0 all tests pass except parser 2022-02-07 17:30:41 -05:00
collin
9cd774d38f comment out unused wasm ci 2022-02-07 17:16:52 -05:00
collin
3892bd379f comment out unused ci's 2022-02-07 12:00:42 -05:00
collin
815bddce94 cargo clippy 2022-02-07 11:58:41 -05:00
collin
b31071777b stabilize leo-package 2022-02-07 11:37:57 -05:00
collin
316c2d2592 compiler module builds 2022-02-03 11:59:42 -08:00
collin
fa2becfb1d update snarkvm rev + cargo update 2022-02-02 14:58:01 -08:00
Collin Chin
b78d321bc0
Merge pull request #1592 from AleoHQ/migrate-grammar 
Migrate grammar
 2022-02-02 14:52:03 -08:00