ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 23:07:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,347 Commits 53 Branches 44 Tags 331 MiB
001056f8bd
Commit Graph

2347 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
001056f8bd rename-access expression rule and parse function to postfix 2021-03-25 14:34:16 -04:00
gluax
50b37d2672 parse_assign_statment 2021-03-24 15:33:03 -04:00
gluax
3571fa2080 I think this is the best way to handle access_expressions in ABNF to reflect the parser 2021-03-24 15:25:56 -04:00
gluax
0da727c582 merge master 2021-03-24 13:57:35 -04:00
gluax
5ed7582b22 tentative parse expression grammar rule 2021-03-24 13:54:53 -04:00
gluax
5ae7771050 cast-expression in abnf 2021-03-24 13:38:45 -04:00
gluax
f71d77762c comment out bitwise, mod, &&= and ||= for now 2021-03-24 13:28:01 -04:00
gluax
b96861feea forgot function doc strings 2021-03-24 12:53:00 -04:00
gluax
007cdfafbd put parse_array_expression and parse_tupple_expression as their own blocks 2021-03-24 12:50:56 -04:00
gluax
e0200ff789 tentative cast-expression abnf rule, refactor fuzzy rule to conditional expression 2021-03-24 12:33:52 -04:00
gluax
600cf120f9 idents in annotation name and for arguements, no white space between @ and annotation-name 2021-03-24 12:08:07 -04:00
gluax
fd52192d58 _ token in parser and symbol in abnf 2021-03-24 11:40:26 -04:00
Collin Chin
6880df4ebd
Merge pull request #803 from AleoHQ/dependabot/cargo/serde-1.0.125 
Bump serde from 1.0.124 to 1.0.125
 2021-03-23 16:27:49 -07:00
Collin Chin
e2ace1efb0
Merge pull request #802 from AleoHQ/dependabot/cargo/walkdir-2.3.2 
Bump walkdir from 2.3.1 to 2.3.2
 2021-03-23 16:27:40 -07:00
Collin Chin
a79dba6df7
Merge pull request #795 from AleoHQ/dependabot/cargo/anyhow-1.0.39 
Bump anyhow from 1.0.38 to 1.0.39
 2021-03-23 16:27:33 -07:00
Collin Chin
94e7509690
Merge pull request #784 from AleoHQ/dead-code-elimination 
Dead code elimination
 2021-03-23 16:26:22 -07:00
collin
113ba12959 add tests for dead code elim 2021-03-23 15:49:56 -07:00
collin
99efdf00cb add comments to asg passes 2021-03-23 15:33:13 -07:00
Collin Chin
46220aa889
Merge pull request #761 from AleoHQ/feature/const-inputs 
[Feature, Compiler] Adds constant inputs
 2021-03-23 15:19:44 -07:00
collin
b9d676a404 assign todos 2021-03-23 15:17:31 -07:00
collin
d410d84153 add reduce_statement_alloc comment 2021-03-23 15:04:55 -07:00
collin
3a6ca5018d edit main input comments 2021-03-23 14:44:16 -07:00
gluax
c9daf4a8a9 typed one thing in the comment and another in the if condition whoops 2021-03-23 17:42:54 -04:00
collin
8172d73a71 fix bit not error 2021-03-23 14:38:20 -07:00
collin
68afcadfa4 update error descriptions 2021-03-23 14:36:22 -07:00
gluax
becafb3798 fix some cases where _ is the only character in the identifier 2021-03-23 17:35:55 -04:00
collin
ee30ad97cc modify macro names 2021-03-23 14:28:22 -07:00
gluax
98fd0ac4dc rename function names to reflect abnf more 2021-03-23 17:27:45 -04:00
collin
f16bb70da9 test pedersen hash constraint numbers 2021-03-23 14:16:51 -07:00
gluax
026816f085 cleaner way to remove _ from beginning of idents 2021-03-23 16:45:43 -04:00
gluax
62e68f42da forgot to push new error with previous commit 2021-03-23 16:06:39 -04:00
gluax
8c996fb15d do not allow _ at start of identifier 2021-03-23 16:02:01 -04:00
gluax
0663227741 order tokens to try and match ABNF 2021-03-23 13:45:57 -04:00
gluax
1adc8cee14 consistent keyword order and names 2021-03-23 12:11:42 -04:00
dependabot-preview[bot]
6e255c526c
Bump serde from 1.0.124 to 1.0.125 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.124 to 1.0.125.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.124...v1.0.125)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-23 13:21:54 +00:00
dependabot-preview[bot]
6f45b5f944
Bump walkdir from 2.3.1 to 2.3.2 
Bumps [walkdir](https://github.com/BurntSushi/walkdir) from 2.3.1 to 2.3.2.
- [Release notes](https://github.com/BurntSushi/walkdir/releases)
- [Commits](https://github.com/BurntSushi/walkdir/compare/2.3.1...2.3.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-23 13:20:58 +00:00
collin
ae9ba51b7d update pedersen hash example to use constant inputs 2021-03-22 15:24:32 -07:00
gluax
bac54b21de make sure we keep crlf for abnf grammar file 2021-03-22 15:12:33 -04:00
gluax
dde8ab59fa initial commit, so I can open retroactive pr 2021-03-22 14:38:38 -04:00
Max Bruce
d120e90d6e
Merge branch 'master' into dead-code-elimination 2021-03-22 07:04:38 -07:00
dependabot-preview[bot]
634889de33
Bump anyhow from 1.0.38 to 1.0.39 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.38 to 1.0.39.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.38...1.0.39)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-22 10:34:10 +00:00
damirka
b5ae4e1ca4 extended errors, added more error cases 2021-03-19 15:15:06 +03:00
Howard Wu
19e40a89a3
Merge pull request #774 from AleoHQ/transparent-keywords 
Transparent keywords
 2021-03-18 15:47:06 -07:00
Howard Wu
b5d3d09b17
Merge pull request #776 from AleoHQ/fix/const-loop-range 
Check loop ranges are constant
 2021-03-18 15:45:52 -07:00
damirka
2b6f39fd14 added macro for const and main inputs sections 2021-03-18 11:57:25 +03:00
collin
f1f8b99690 add passing iteration test with loop variable 2021-03-17 12:35:16 -07:00
damirka
0eb7b972c7 Merge branch 'master' into feature/const-inputs 2021-03-17 20:54:52 +03:00
damirka
2862549603 removed unwraps 2021-03-17 13:23:58 +03:00
damirka
60519275c9 added test for non const input as const 2021-03-16 23:18:10 +03:00
collin
0a28945262 Merge branch 'master' of https://github.com/AleoHQ/leo into dead-code-elimination 2021-03-16 12:19:01 -07:00