ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-21 18:57:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,480 Commits 45 Branches 43 Tags 363 MiB
e035743f96
Commit Graph

104 Commits

Author SHA1 Message Date
Alessandro Coglio
e035743f96 [ABNF] Improve naming convention section of documentation. 
Some tweaks and some clarifications.
 2021-04-06 15:19:41 -07:00
Alessandro Coglio
fdaab572f9 [ABNF] Improve operator precedence section of documentation. 
Fix a typo. Tweak some text layout.
 2021-04-06 15:14:08 -07:00
Alessandro Coglio
11c0d60021 [ABNF] Improve structure section of documentation. 
Make this more concise and clear by just presenting the lexical and syntactic
grammar as the way we define the Leo syntax, as opposed to discussing
alternatives like PEGs.
 2021-04-06 14:59:52 -07:00
Alessandro Coglio
c7fb2905c0 [ABNF] Improve background section of documentation. 
Explicate references to RFCs a bit.

Use the term 'sequence of terminals' instead of 'string' to avoid any confusion.

(Still use 'string' to refer to the actual strings in double quotes that are
part of the ABNF notation itself.)
 2021-04-06 14:45:23 -07:00
Alessandro Coglio
742e3b33ea [ABNF] Improve introduction section of documentation. 
Update to say that grammar is no longer just a draft.

Put primary motivation and purpose of grammar first.

Mention use in formalization second, and slightly simplify that part, given that
the formalization is not public yet.
 2021-04-06 14:43:55 -07:00
Alessandro Coglio
48635e5dbe [ABNF] Fix typos in documentation. 2021-04-06 14:22:15 -07:00
Alessandro Coglio
880f2cd200 [ABNF] Remove explicit author info, as discussed. 2021-04-05 21:55:19 -07:00
Alessandro Coglio
797e8ceffd [ABNF] Tweak some layout. 
Just for consistency with the rest of the file.
 2021-04-05 21:54:18 -07:00
Alessandro Coglio
c0ea8798a2 [ABNF] Remove leftover reference. 
This was uncovered by running the grammar through the ACL2 build: among other
things, the build checks that every nonterminal referenced in the right side of
each rule has a definition in the grammar.
 2021-04-05 21:47:28 -07:00
Alessandro Coglio
5f875a4e93 [ABNF] Allow const self. 
This still needed to be updated. The rules only supported self and mut self.
 2021-04-05 21:27:37 -07:00
Collin Chin
9b9fe0b8c7
Merge pull request #822 from AleoHQ/dependabot/cargo/abnf-0.10.1 
Bump abnf from 0.10.0 to 0.10.1
 2021-04-05 21:13:23 -07:00
Alessandro Coglio
b535a5fde3 [ABNF] Allow spaces in affine group literals. 2021-04-05 13:55:05 -07:00
dependabot-preview[bot]
b51471a6a8
Bump abnf from 0.10.0 to 0.10.1 
Bumps [abnf](https://github.com/duesee/abnf) from 0.10.0 to 0.10.1.
- [Release notes](https://github.com/duesee/abnf/releases)
- [Commits](https://github.com/duesee/abnf/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-04-05 10:40:52 +00:00
gluax
bcb0838e0d last bit of clippy, push grammar md it should now be in the repo 2021-03-31 13:22:25 -04:00
collin
ba53d143ee cargo clippy 2021-03-31 09:57:02 -07:00
damirka
60f5a91bd9 changes grammar to leo-abnf, adds keywords and version 2021-03-26 18:50:11 +03:00
damirka
673997d975 adds grammar binary package for markdown conversion 2021-03-26 18:41:24 +03:00
gluax
f9d8f48577 clean up last bit of leftover access 2021-03-25 16:24:01 -04:00
gluax
001056f8bd rename-access expression rule and parse function to postfix 2021-03-25 14:34:16 -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
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
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
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
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
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
gluax
f952da330c re-add syntax in, then add deprecation warning for it 2021-02-16 15:33:31 -05:00
gluax
d549fda7b5 rebase and replace const keyword in tests 2021-02-16 14:19:20 -05:00
gluax
42bea9e93a Merge branch 'master' of github.com:AleoHQ/leo into feature/515-eliminate-const-vars 2021-02-16 14:02:49 -05:00
Collin Chin
20a046bbbb
Merge pull request #643 from AleoHQ/feat/readme_license 
Adds READMEs and LICENSEs to each Leo workspace member
 2021-02-11 00:58:22 -08:00
bors[bot]
b72b5ac125
Merge #620 
620: Feature/254 strengthen import rules r=collinc97 a=gluax

Grammar changes are a bit different than what was suggested in the original feature request #254. However, it should be logically equivalent and I think makes more sense on the rust side.

Closes #254 

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
 2021-02-11 07:31:56 +00:00
bors[bot]
a97d60eb28
Merge #598 
598: [Feature] 374 circuit self access r=collinc97 a=gluax

Feature resolves #374. At the grammar level the following syntax is no longer allowed on self:
```
self[0];
self();
```

Syntax that is allowed at the grammar level is:
```
console.log("b: {}", self::b);
console.log("hmm: {}",self::hmm());
self.hello();
console.log("access: {}", self.a);
```

Note that these changes are only at the grammar level only.

Co-authored-by: gluaxspeed <jonathan.t.pavlik@gmail.com>
Co-authored-by: Howard Wu <9260812+howardwu@users.noreply.github.com>
 2021-02-11 07:09:43 +00:00
howardwu
777a67fb40 Adds README.md 2021-02-10 22:27:37 -08:00
howardwu
55db999a9e Adds LICENSE.md 2021-02-10 22:23:45 -08:00
gluaxspeed
f02845aa6c forgot to refactor grammar tests 2021-02-09 11:11:45 -05:00
gluaxspeed
d211d729d1 refactor pacakge_type -> package_or_packages 2021-02-09 10:57:37 -05:00
gluaxspeed
f1bf6c90eb remove const keyword 2021-02-08 10:34:33 -05:00
howardwu
1898cc6840 chore(leo): bump version for new release 2021-02-07 08:14:56 -08:00
gluaxspeed
26f9973e14 resolve merge conflict, asg + grammar tests 2021-02-05 14:20:48 -05:00
gluaxspeed
5fe61daa88 merge lastest master 2021-02-05 13:11:36 -05:00
gluaxspeed
6aea561a52 forgot to push fix for Multiple enum resolve 2021-02-05 11:40:56 -05:00
Collin Chin
770f660f3a
Merge pull request #617 from AleoHQ/const-args 
[Feature] Const Function Arguments
 2021-02-04 23:05:51 -08:00
Collin Chin
a239e17bb6
Merge pull request #622 from AleoHQ/refactor/compiler 
Adds ASG struct, updates ASG to support debug
 2021-02-04 22:52:40 -08:00
howardwu
85a893097b Update grammar convention 2021-02-04 17:26:01 -08:00