ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,942 Commits 54 Branches 46 Tags 340 MiB
b8412ecbda
Commit Graph

2942 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
gluax
e0cf988261 hacky, but optional comma only allowed on last member variable 2021-04-29 15:22:17 -04:00
gluax
282cbb8840 optional comma at end of member variables 2021-04-29 14:10:22 -04:00
gluax
30d80d191f require comma or semi-colon for now 2021-04-29 14:03:29 -04:00
Alessandro Coglio
c16dad0580
Merge pull request #900 from AleoHQ/feature/abnf-trim-some-doc 
[ABNF] Trim some documentation.
 2021-04-29 00:24:12 -07:00
Alessandro Coglio
ccbf36e6ec Merge and resolve conflict on generated README.md. 
(Since the file is generated, I've simply re-generated it to resolve the
conflict.)
 2021-04-28 21:57:34 -07:00
Collin Chin
5e281bf93d
Merge pull request #901 from AleoHQ/more-cli-tests 
[CLI] Adds tests for imports
 2021-04-28 14:08:15 -07:00
Collin Chin
aaa42bba4c
Merge pull request #705 from AleoHQ/feature/485-defines 
Feature/485 global consts
 2021-04-28 14:06:40 -07:00
gluax
26d569c92a declaration refactor as suggested 2021-04-28 12:41:42 -04:00
damirka
3d62e6a191 adds tests for imports 2021-04-28 15:12:08 +03:00
Alessandro Coglio
0882100526 [ABNF] Trim some documentation. 
The removed text is more of an internal discussion that actual documentation, so
it seems best to keep things slightly more concise.
 2021-04-27 22:45:27 -07:00
Howard Wu
9cfc72519d
Update README.md 2021-04-27 19:37:41 -07:00
Collin Chin
c1549f8a77
Merge pull request #895 from AleoHQ/dependabot/cargo/dirs-3.0.2 
Bump dirs from 3.0.1 to 3.0.2
 2021-04-27 18:22:58 -07:00
Collin Chin
e025c93f27
Merge pull request #899 from AleoHQ/feature-better-publish-errors 
[CLI] leo publish now returns better error messages
 2021-04-27 18:22:27 -07:00
dependabot-preview[bot]
268207b1b6
Bump dirs from 3.0.1 to 3.0.2 
Bumps [dirs](https://github.com/soc/dirs-rs) from 3.0.1 to 3.0.2.
- [Release notes](https://github.com/soc/dirs-rs/releases)
- [Commits](https://github.com/soc/dirs-rs/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-04-27 19:25:33 +00:00
damirka
927328137c clippy 2021-04-27 17:06:48 +03:00
damirka
87aff4b715 publish is now part of api module 2021-04-27 15:37:23 +03:00
Collin Chin
5adb0ec2d0
Merge pull request #898 from AleoHQ/fix/abnf-doc-typo 
[ABNF] Fix typo in documentation.
 2021-04-26 22:57:08 -07:00
Collin Chin
b4584399ef
Merge pull request #810 from AleoHQ/feature/opti-cli-flag 
[CLI] Adds CompilerOptions flags to Leo CLI
 2021-04-26 22:56:55 -07:00
Alessandro Coglio
244e1a49ee [ABNF] Fix typo in documentation. 2021-04-26 20:30:15 -07:00
gluax
e82be01d75 regen grammar README.md 2021-04-26 17:53:39 -04:00
gluax
e71c8d99e0 import global consts, clean up, test type inference on global consts 2021-04-26 17:51:19 -04:00
damirka
7a8400655d fix clippy 2021-04-26 23:54:22 +03:00
damirka
6ef9b86cc2 Merge branch 'feature/opti-cli-flag' of github.com:AleoHQ/leo into feature/opti-cli-flag 2021-04-26 23:42:57 +03:00
damirka
4993404b96 adds tests for optimization flags 2021-04-26 23:42:12 +03:00
damirka
a1326d386e Merge branch 'master' into feature/opti-cli-flag 2021-04-26 23:39:10 +03:00
Collin Chin
b6f6f051f0
Merge pull request #896 from AleoHQ/feature-relative-imports 
[CLI] Makes import path relative to program directory
 2021-04-26 13:37:19 -07:00
Collin Chin
4ace8fc2b1
Merge pull request #884 from AleoHQ/feature/input-kebab 
[Compiler] Adds search inputs path in kebab case
 2021-04-26 13:10:53 -07:00
damirka
1676d12f66 makes import path relative to program directory 2021-04-26 23:02:35 +03:00
damirka
18de36c71c removed test_input from silly sudoku 2021-04-26 22:26:46 +03:00
damirka
5d359f23f5 Merge branch 'master' into feature/input-kebab 2021-04-26 22:25:10 +03:00
gluax
438c20c14d merge master, resolve conflicts, login test is failing 2021-04-26 14:43:21 -04:00
Collin Chin
35619c99b4
Merge pull request #883 from AleoHQ/feature-cli-coverage 
[CLI] Adds integration tests to Leo CLI + removes --lib legacy
 2021-04-26 10:54:23 -07:00
damirka
ef277c85b5 clippy 2021-04-26 19:55:54 +03:00
damirka
296b92acf6 final fixes 2021-04-26 19:37:29 +03:00
damirka
30fc5b97ae changed testing approach 2021-04-26 19:35:12 +03:00
damirka
498dc99e6c fix circle ci config typo 2021-04-26 16:20:18 +03:00