ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 13:14:05 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,809 Commits 54 Branches 46 Tags 340 MiB
cb2bd62ea9
Commit Graph

2809 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
513c6f00ac Remove keyword from grammar toml 2021-04-09 13:49:11 -07:00
howardwu
bec813b014 chore(leo): bump version for new release 2021-04-09 13:45:30 -07:00
Alessandro Coglio
f26114afa5 [ABNF] Make ** right-associative. 
As agreed on Slack.
 2021-04-09 13:01:59 -07:00
gluax
bddcef732f merge master, clean up reducer and directors 2021-04-09 12:48:59 -04:00
gluax
f963782d90 some bug fixing 2021-04-08 17:56:56 -04:00
gluax
cb2f77c7e4 program in, time to test 2021-04-08 16:36:37 -04:00
Collin Chin
3b76a2dfd8
Merge pull request #814 from AleoHQ/feature/leo-path-cli 
[CLI] Adds --path argument to Leo CLI
 2021-04-08 13:07:06 -07:00
gluax
97b434986d statements 2021-04-08 16:06:44 -04:00
Collin Chin
e291f8e3ed
Update build.rs 2021-04-08 13:06:31 -07:00
Collin Chin
a157944215
Merge pull request #839 from AleoHQ/abnf-md-fix 
[ABNF] Adds %s to ANBF converter and resulting Markdown
 2021-04-08 13:00:22 -07:00
Collin Chin
8b254b6b10
Merge pull request #838 from AleoHQ/fix-package-name-check 
Fix package name checks
 2021-04-08 12:59:44 -07:00
damirka
3b649f32f4 fixes CI 2021-04-08 18:12:34 +03:00
damirka
66e30ba0e1 makes -d and -q global 2021-04-08 17:49:08 +03:00
damirka
166be0874c Merge branch 'master' into feature/leo-path-cli 2021-04-08 17:47:20 +03:00
damirka
45986d598c adds %s to abnf converter and md 2021-04-08 10:45:04 +03:00
collin
0a3fb30035 package names cannot start with a number 2021-04-07 17:18:14 -07:00
collin
34fd7283c8 fix package name check 2021-04-07 17:10:07 -07:00
Collin Chin
23bca1e595
Merge pull request #796 from ljedrz/align_integers_with_snarkvm 
Align with snarkVM's Integer changes
 2021-04-07 15:28:39 -07:00
Collin Chin
bd7ec477c9
Merge pull request #837 from AleoHQ/bug-duplicate-functions 
Adds error when function defined more than once
 2021-04-07 14:32:47 -07:00
collin
aa0e576773 edit duplicate function message 2021-04-07 14:31:44 -07:00
Collin Chin
68419f4e10
Merge pull request #835 from AleoHQ/feature/abnf-doc-improvements 
[ABNF] Improve the documentation of the grammar and fix a rule
 2021-04-07 14:26:52 -07:00
gluax
55dae9bc14 push some expression solving, start statements 2021-04-07 13:21:10 -04:00
damirka
8ac7440daa adds test, expects asg error 2021-04-07 20:20:58 +03:00
damirka
f55e880c43 adds check for already existing functions 2021-04-07 19:39:53 +03:00
ljedrz
dee5f7dc15 fix: use a hand-written impl of get_index 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
ljedrz
670e3c0b47 deps: update snarkVM 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
ljedrz
74f02411e8 fix: align with snarkVM's Integer changes 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-04-07 10:01:26 +02:00
Alessandro Coglio
d7d15b1bc4 [ABNF] Regenerate markdown file. 2021-04-06 16:41:12 -07:00
Alessandro Coglio
f19af30f0e [ABNF] Fix rule for affine group literals. 
This was

affine-group-literal = "(" group-coordinate "," group-coordinate ")" %s"group"

instead of

affine-group-literal = "(" group-coordinate "," group-coordinate %s")group"

(note the different ending).

This change should have been part of the PR for whitespace in group literals,
but apparently I failed to do that, along with the other changes.

This commit rectifies that omission.
 2021-04-06 16:39:07 -07:00
Alessandro Coglio
7da8a3c033 [ABNF] Improve consistency of documentation. 2021-04-06 16:37:18 -07:00
Alessandro Coglio
5f85308444 [ABNF] Improve the syntactic grammar section documentation. 
Update some comments that were now out of date.

Clarify some text.

Fix some typos.
 2021-04-06 16:35:47 -07:00
Alessandro Coglio
f0bac48093 [ABNF] Improve lexical grammar documentation. 
Fix some typos, clarify some text, remove/update some obsolete references.
 2021-04-06 16:03:28 -07:00
Alessandro Coglio
e035743f96 [ABNF] Improve naming convention section of documentation. 
Some tweaks and some clarifications.
 2021-04-06 15:19:41 -07:00
Collin Chin
e31bace4cb
Merge pull request #830 from AleoHQ/dependabot/cargo/abnf-0.10.2 
Bump abnf from 0.10.1 to 0.10.2
 2021-04-06 15:15:53 -07:00
Collin Chin
1867cf88b7
Merge pull request #827 from AleoHQ/feature/abnf-const-self 
[ABNF] Allow const self and other small fixes/improvements
 2021-04-06 15:15:33 -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
gluax
ac9414590f reduce type and the basis for type_inference ast 2021-04-06 17:09:36 -04:00
gluax
541b83d492 working on directing expressions so far 2021-04-06 14:07:37 -04:00
dependabot-preview[bot]
751b42ab5b
Bump abnf from 0.10.1 to 0.10.2 
Bumps [abnf](https://github.com/duesee/abnf) from 0.10.1 to 0.10.2.
- [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-06 10:36:36 +00:00
damirka
bbc70d927b build -> compiling in log 2021-04-06 10:51:05 +03: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
Collin Chin
ea5bc5d693
Merge pull request #825 from AleoHQ/bug/815-mutable-method-imuttable-context 
Bug/815 mutable method imuttable context
 2021-04-05 21:12:39 -07:00