ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 02:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,589 Commits 54 Branches 46 Tags 340 MiB
66664ed35c
Commit Graph

2589 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Collin Chin
f3f569b233
Merge pull request #824 from AleoHQ/feature/no-space-between-literals 
Feature/no space between literals
 2021-04-05 21:11:57 -07:00
Collin Chin
0682dd01ee
Merge pull request #816 from AleoHQ/unused-code-bye-bye 
Unused code removal + improving coverage
 2021-04-05 21:02:04 -07:00
Collin Chin
8396014e32
Update verification_key.rs 2021-04-05 21:01:49 -07:00
Alessandro Coglio
b535a5fde3 [ABNF] Allow spaces in affine group literals. 2021-04-05 13:55:05 -07:00
gluax
38c36cc305 tests for all the integers 2021-04-05 12:59:08 -04:00
gluax
f0ce9d400e testing the changes 2021-04-05 12:54:27 -04:00
damirka
2578be4287 fix test 2021-04-05 19:37:16 +03:00
damirka
03b2af4aaa Merge branch 'master' into unused-code-bye-bye 2021-04-05 16:40:30 +03:00
damirka
a588c18100 clippy 2021-04-05 16:39:38 +03:00
damirka
044dc96e58 adds tests for outputfile 2021-04-05 16:08:54 +03: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
dbf069d215 no whitepsace between types and integers/group coords 2021-04-02 06:20:08 -04:00
gluax
f60e4331c7 merge master 2021-04-02 04:51:57 -04:00
gluax
f44dcc1e96 test for bug 2021-04-02 04:50:14 -04:00
gluax
952ce8c17e allow mutable method from immutable context 2021-04-02 04:45:02 -04:00
Howard Wu
6b3aa7a7d0
Update config 2021-04-01 14:27:25 -07:00
damirka
25551a7c13 Merge remote-tracking branch 'origin/master' into feature/leo-path-cli 2021-04-01 23:23:02 +03:00
Howard Wu
2541a55901
Merge pull request #817 from AleoHQ/feat/noconfig 
Adds a noconfig feature for release builds, updates CI to rust 1.51
 2021-04-01 13:17:15 -07:00
damirka
f76793572c added --path to leo init ci 2021-04-01 23:10:34 +03:00
Howard Wu
2a2b9994d0 Lock the cargo file 2021-03-31 23:20:10 -07:00
Howard Wu
54192f2589 Update CI to 1.51 2021-03-31 23:14:01 -07:00
Howard Wu
2aabb09468 Adds a noconfig feature for release builds 2021-03-31 22:14:03 -07:00
Howard Wu
19e3bfc253
Merge pull request #639 from dev-sptg/fix-windows-build 
Fix build for windows 64 bit
 2021-03-31 21:26:27 -07:00
Collin Chin
848872de15
Merge pull request #809 from AleoHQ/bug/807-compound-operator-access-fix 
Bug-807 Compound Access fix.
 2021-03-31 12:30:35 -07:00
gluax
dc8a04e872 fix test 2021-03-31 14:59:45 -04:00
Collin Chin
48edaaf9bc
Merge pull request #813 from AleoHQ/dependabot/cargo/anyhow-1.0.40 
Bump anyhow from 1.0.39 to 1.0.40
 2021-03-31 11:43:19 -07:00
dependabot-preview[bot]
cd6ec7eba9
Bump anyhow from 1.0.39 to 1.0.40 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.39 to 1.0.40.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.39...1.0.40)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-03-31 18:24:44 +00:00
Collin Chin
7f89f35f96
Merge pull request #799 from AleoHQ/feature/abnf-grammar 
initial commit, so I can open retroactive pr
 2021-03-31 11:22:51 -07:00
gluax
24e5d5365b resolve all the merge conflicts 2021-03-31 14:08:38 -04:00
damirka
a1d48d4251 makes --path global 2021-03-31 20:54:16 +03: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
ed8ff4468c ast and imports a bit 2021-03-31 18:58:29 +03:00