ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 17:21:34 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,978 Commits 54 Branches 46 Tags 340 MiB
af1aca3d9f
Commit Graph

2978 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
3efe3eab97
Merge pull request #926 from AleoHQ/rfc-strings-example 
[RFC Strings] Adds code samples to strings RFC
 2021-05-06 12:43:02 -07:00
Alessandro Coglio
2ddb474dce
Merge pull request #903 from AleoHQ/bug/abnf-circuit-grammar 
Bug/abnf-circuit-grammar
 2021-05-06 11:50:20 -07:00
damirka
6474f3f5ab adds 2 code samples to strings RFC 2021-05-06 15:28:45 +03:00
damirka
4fcce10329 remove unnecessary mod 2021-05-06 14:58:36 +03:00
damirka
a39197af62 add const test 2021-05-06 14:52:20 +03:00
damirka
acf5e1dc08 part revert clippy, fix parser 2021-05-06 14:48:41 +03:00
damirka
ac57fe6410 test conflicts + clippy 2021-05-06 14:27:42 +03:00
damirka
6bb14425fd Merge branch 'master' into compiler-tests 2021-05-06 14:15:03 +03:00
damirka
e3983bfa90 array 2021-05-06 14:01:42 +03:00
dependabot-preview[bot]
d88d57eb1c
Bump sha2 from 0.9.3 to 0.9.4 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.9.3 to 0.9.4.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.3...sha2-v0.9.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-06 10:44:46 +00:00
Alessandro Coglio
15deef6dab
Merge pull request #924 from AleoHQ/doc/rfc-strings 
Make PR for Eric M.'s edits on the doc/rfc-strings branch
 2021-05-05 21:45:48 -07:00
Alessandro Coglio
4fb3d9cac8 Merge. 2021-05-05 20:34:16 -07:00
Alessandro Coglio
ca6495d636
Merge pull request #922 from AleoHQ/string-rfc-todos 
RFC Todos
 2021-05-05 20:09:45 -07:00
Alessandro Coglio
7450e27de3
Merge pull request #912 from AleoHQ/bug/909-const-vars-not-enforced 
Bug 909 Fix const vars not enforced
 2021-05-05 14:33:46 -07:00
gluax
29ca0d9a12 no empty import lists, star is a span, grammar fix 2021-05-05 16:10:51 -04:00
gluax
c063200d44 clippy fix 2021-05-05 14:57:48 -04:00
gluax
5587d8dd8d don't allow mixing of semi-colons and commas 2021-05-05 14:53:46 -04:00
damirka
91c9969ff9 arrays 1/2 2021-05-05 21:25:24 +03:00
gluax
2818d1404f some todos 2021-05-05 14:11:19 -04:00
damirka
7f390d4d5c global const 2021-05-05 21:06:15 +03:00
gluax
f4c9c2c1f0 update grammar readme after master merge 2021-05-05 13:18:13 -04:00
damirka
d5e8fb3718 imports 2021-05-05 19:31:25 +03:00
damirka
925afef17c function 2021-05-05 18:29:44 +03:00
damirka
032341089b program state 2021-05-05 17:48:33 +03:00
damirka
72648c993c program inputs 2021-05-05 17:35:34 +03:00
damirka
2ac3468d18 fixes constant tuples in inputs 2021-05-05 15:58:26 +03:00
damirka
dd4d909998 Merge branch 'master' into compiler-tests 2021-05-05 11:56:00 +03:00
damirka
71486fb628 circuits 2021-05-05 11:37:51 +03:00
Alessandro Coglio
7e83de8df4
Merge pull request #914 from AleoHQ/fix/abnf-identifier 
Fix/abnf identifier comment
 2021-05-04 12:35:28 -07:00
Eric McCarthy
e7f88a9849
add mention of Javascript and Rust 2021-05-04 12:10:07 -07:00
Alessandro Coglio
c79194bfa0
Merge pull request #908 from AleoHQ/doc/rfc-strings 
Add initial draft of string RFC, including some additions by @bendyarm.
 2021-05-04 11:56:10 -07:00
Alessandro Coglio
6b7999f0eb Use markdown for some of the added text. 2021-05-04 09:57:18 -07:00
Alessandro Coglio
d3e46386c1 Fix type names. 2021-05-04 09:56:25 -07:00
Eric McCarthy
2fc07908d7
fix typo in name 2021-05-04 08:50:09 -07:00
Eric McCarthy
050dc72952
Update 001-initial-strings.md 2021-05-04 00:56:31 -07:00
Alessandro Coglio
40a2d58a5a [ABNF] Regenerate the markdown file. 2021-05-03 21:44:29 -07:00
Alessandro Coglio
8df12668c0 [ABNF] Fix (comment in) rule for identifiers. 
Now the comment says that an identifier must not only be distinct from a
keyword, but also not be or start with 'aleo1'. Even though the grammar does not
capture these extra-grammatical requirements, we use comments to at least
mention them prominently.
 2021-05-03 21:41:20 -07:00
gluax
ffb7cab142 bug fix 905, make sure values are constant when assign is constant 2021-05-03 15:32:11 -04:00
Alessandro Coglio
399a404201
Merge pull request #907 from AleoHQ/fix/abnf-import-semicolon 
[ABNF] Fix rule for import declarations.
 2021-05-03 11:10:23 -07:00
damirka
8464c5b9d2 i8 + mutability 2021-05-03 17:28:53 +03:00
damirka
0b798dc950 console + definition + core 2021-05-03 16:47:33 +03:00
dependabot-preview[bot]
9418278736
Bump tracing-subscriber from 0.2.17 to 0.2.18 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.2.17 to 0.2.18.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.2.17...tracing-subscriber-0.2.18)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-03 10:23:51 +00:00
dependabot-preview[bot]
f5b494477e
Bump tracing from 0.1.25 to 0.1.26 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.25 to 0.1.26.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.25...tracing-0.1.26)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-05-03 10:23:28 +00:00
Alessandro Coglio
b8f61a2d7f Add initial draft of string RFC. 2021-05-02 14:03:08 -07:00
Alessandro Coglio
f5ad06cf59
Merge pull request #549 from damirka/leo-rfc 
[RFC] Leo RFC proposal
 2021-05-02 14:00:56 -07:00
damirka
0952324d09 Merge branch 'master' into leo-rfc 2021-05-02 14:33:29 +03:00
Alessandro Coglio
5288f2e2f0 [ABNF] Fix rule for import declarations. 
The final semicolon was missing.

See https://developer.aleo.org/developer/language/imports.
 2021-05-01 18:41:56 -07:00
Alessandro Coglio
c683a133cc
Merge pull request #904 from AleoHQ/feature/abnf-doc-and-layout 
[ABNF] Improve documentation and layout.
 2021-04-30 22:40:09 -07:00
gluax
c8f1d9913c rename grammar rule as suggested 2021-04-30 12:07:35 -04:00
Alessandro Coglio
2060d0d249 [ABNF] Improve documentation and layout. 
Explain better variable and constant declarations.

Leave one blank line between the rules for variable and constant declarations
(not necessary for ABNF, but consistent with the rest of the file and actually
expected by the ABNF-to-LaTeX converter).

Limit lines to 80 columns, by putting the rules for variable and constant
declarations over two lines each, with proper indentation.
 2021-04-29 18:16:30 -07:00