ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 21:22:55 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,014 Commits 54 Branches 46 Tags 340 MiB
0a35ad8006
Commit Graph

4014 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
0rphon
c767907b25 removed more dead lexer code 2022-02-18 16:29:24 -07: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
0rphon
938f1fdbc1 removed dead code from lexer 2022-02-18 15:49:39 -07: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
0rphon
d46a041895 save progress before denver 2022-02-16 11:33:52 -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
damirka
b666a24aa3 cleanup, split into files 2022-02-16 16:56:46 +03:00
damirka
0878e4f85f single parser, multi purpose 2022-02-15 20:54:00 +03:00
0rphon
136a441fc6 removed redundant code from group parsing 2022-02-14 18:39:22 -08:00
0rphon
0d6c258068 save progress 2022-02-14 17:25:57 -08:00
Collin Chin
554e972503
Merge pull request #1593 from AleoHQ/parser-benches 
Improved Parser Benchmarks
 2022-02-14 14:27:44 -05:00
damirka
3f6fc9ec76 added a Context trait 2022-02-14 17:33:08 +03:00
damirka
8b2a7bd8bd finalized input parsing, got a working copy 2022-02-14 16:24:15 +03:00
damirka
5b4ac6b509 stashing another set of dev changes 2022-02-11 18:53:03 +03: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
damirka
466c41809c Merge branch 'testnet2' into leo-parser-inputs 2022-02-09 17:13:11 +03: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