ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 04:01:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,260 Commits 54 Branches 46 Tags 340 MiB
65d237e25f
Commit Graph

4260 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
cfc5b00bad add constant keyword, only used for params 2022-04-10 23:10:55 -07:00
Collin Chin
20006958c0
Merge pull request #1743 from AleoHQ/abnf-integer-literals 
[ABNF] Factor integer literals into a rule.
 2022-04-08 11:51:57 -07:00
Alessandro Coglio
dc3363a858 [ABNF] Factor integer literals into a rule. 
This mirrors the structure of the rules for types, where there is an
`integer-type` consisting of `unsigned-type` and `signed-type`.

There is no change to the language.
 2022-04-08 19:08:47 +02:00
Collin Chin
f3fa8d91ae
Merge pull request #1742 from AleoHQ/abnf-public-keyword 
[ABNF] Add `public` to keywords.
 2022-04-07 14:07:42 -07:00
Alessandro Coglio
822da8009c [ABNF] Add public to keywords. 2022-04-07 22:07:37 +02:00
Collin Chin
7e6eae58c3
Merge pull request #1739 from AleoHQ/feature/add-private-public-inputs 
[Impl] handle public inputs and params
 2022-04-07 12:03:29 -07:00
gluax
016b669a8d make fields not public 2022-04-07 11:18:58 -07:00
gluax
8482430299 update abnf to reflect recent changes 2022-04-06 10:41:18 -07:00
gluax
a5b692a765 merge upstream testnet3 2022-04-06 10:25:26 -07:00
gluax
3936e6c202 doc new fn, test updates 2022-04-06 10:23:20 -07:00
gluax
cc5552c7ef make suggested changes 2022-04-06 10:20:43 -07:00
Collin Chin
71c87d45e4
Merge pull request #1741 from AleoHQ/feature/testnet3-cleanup 
[Impl] Testnet3 Cleanup
 2022-04-05 15:59:34 -07:00
Collin Chin
a4d8a29d6f
Merge branch 'testnet3' into feature/testnet3-cleanup 2022-04-05 15:00:00 -07:00
Collin Chin
643a2d269d
Merge pull request #1737 from AleoHQ/dependabot/cargo/testnet3/test_dir-0.2.0 
Bump test_dir from 0.1.0 to 0.2.0
 2022-04-05 14:52:14 -07:00
Collin Chin
96e7504b17
Merge pull request #1736 from AleoHQ/dependabot/cargo/testnet3/tendril-0.4.3 
Bump tendril from 0.4.2 to 0.4.3
 2022-04-05 14:52:04 -07:00
Collin Chin
415e32cd2c
Merge pull request #1735 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.10 
Bump tracing-subscriber from 0.3.9 to 0.3.10
 2022-04-05 14:51:57 -07:00
Collin Chin
7392d6e121
Merge pull request #1734 from AleoHQ/dependabot/cargo/testnet3/indexmap-1.8.1 
Bump indexmap from 1.8.0 to 1.8.1
 2022-04-05 14:51:49 -07:00
Collin Chin
eeff6e4027
Merge pull request #1733 from AleoHQ/dependabot/cargo/testnet3/clap-3.1.8 
Bump clap from 3.1.6 to 3.1.8
 2022-04-05 14:51:33 -07:00
Collin Chin
bccc8e908d
Merge pull request #1732 from AleoHQ/dependabot/cargo/testnet3/eyre-0.6.8 
Bump eyre from 0.6.7 to 0.6.8
 2022-04-05 14:51:20 -07:00
Collin Chin
fff67b5394
Merge pull request #1731 from AleoHQ/abnf-numerals-must-be-tokens 
[ABNF] Add numerals to tokens.
 2022-04-05 14:51:06 -07:00
gluax
3a85223e22 adjust tests 2022-04-05 11:38:21 -07:00
gluax
4c7903f5c3 remove tendril dep and cmpd assignments 2022-04-05 11:24:34 -07:00
gluax
1604170adc update grammar 2022-04-05 09:38:21 -07:00
gluax
a675b81c0a change tests 2022-04-05 09:36:22 -07:00
gluax
16914e3ce8 remove private keyword 2022-04-05 09:27:39 -07:00
dependabot[bot]
9e81228ea6
Bump test_dir from 0.1.0 to 0.2.0 
Bumps [test_dir](https://github.com/rpacholek/test_dir) from 0.1.0 to 0.2.0.
- [Release notes](https://github.com/rpacholek/test_dir/releases)
- [Commits](https://github.com/rpacholek/test_dir/commits)

---
updated-dependencies:
- dependency-name: test_dir
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:18:31 +00:00
dependabot[bot]
ba9ba76c7c
Bump tendril from 0.4.2 to 0.4.3 
Bumps [tendril](https://github.com/servo/tendril) from 0.4.2 to 0.4.3.
- [Release notes](https://github.com/servo/tendril/releases)
- [Commits](https://github.com/servo/tendril/compare/v0.4.2...v0.4.3)

---
updated-dependencies:
- dependency-name: tendril
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:18:25 +00:00
dependabot[bot]
4b1b78b280
Bump tracing-subscriber from 0.3.9 to 0.3.10 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.9 to 0.3.10.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.9...tracing-subscriber-0.3.10)

---
updated-dependencies:
- dependency-name: tracing-subscriber
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:18:19 +00:00
dependabot[bot]
2fe921fb42
Bump indexmap from 1.8.0 to 1.8.1 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.8.0 to 1.8.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Changelog](https://github.com/bluss/indexmap/blob/master/RELEASES.md)
- [Commits](https://github.com/bluss/indexmap/compare/1.8.0...1.8.1)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:18:12 +00:00
dependabot[bot]
07a2bc1484
Bump clap from 3.1.6 to 3.1.8 
Bumps [clap](https://github.com/clap-rs/clap) from 3.1.6 to 3.1.8.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.6...v3.1.8)

---
updated-dependencies:
- dependency-name: clap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:18:04 +00:00
dependabot[bot]
2a63ab7c47
Bump eyre from 0.6.7 to 0.6.8 
Bumps [eyre](https://github.com/yaahc/eyre) from 0.6.7 to 0.6.8.
- [Release notes](https://github.com/yaahc/eyre/releases)
- [Changelog](https://github.com/yaahc/eyre/blob/master/CHANGELOG.md)
- [Commits](https://github.com/yaahc/eyre/compare/v0.6.7...v0.6.8)

---
updated-dependencies:
- dependency-name: eyre
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-04-05 10:17:54 +00:00
Alessandro Coglio
c0ffe443c1 [ABNF] Add numerals to tokens. 
In the currently restricted version of Leo, this is necessary for the numerals
in affine group literals to be tokens.

No change necessary to the lexer/parser, which already handle this properly.
 2022-04-04 20:47:57 -07:00
gluax
6aa6b0fa07 add parsing input to compiler 2022-04-04 15:52:05 -07:00
gluax
80d97416cb fixes and correct tests 2022-04-04 15:31:08 -07:00
gluax
f6aa32da35 parse input changes for private public const 2022-04-04 14:51:46 -07:00
gluax
ffa2705a4e remove empty inputs files 2022-04-04 14:18:34 -07:00
gluax
76070a8795 intial adding of public and private params 2022-04-04 14:14:17 -07:00
Collin Chin
5353b33c1b
Merge pull request #1725 from AleoHQ/abnf-remove-expr-stmt-rule 
[ABNF] Also remove rule for expression statements.
 2022-04-04 10:59:35 -07:00
Alessandro Coglio
0a35ad8006 [ABNF] Re-generate markdown. 2022-04-01 21:26:30 -07:00
Alessandro Coglio
52d820ad7b [ABNF] Also remove rule for expression statements. 
Expression statements were removed from the rule for statements, but the rule
for expression statements itself had not been removed. This commit fixes that.
 2022-04-01 21:25:37 -07:00
Collin Chin
a1c0932f3e
Merge pull request #1713 from AleoHQ/abnf-expression-statements 
[ABNF] Remove expression statements.
 2022-04-01 14:17:58 -07:00
collin
4dce7a86cc Merge branch 'testnet3-dev' of https://github.com/AleoHQ/leo into abnf-expression-statements 2022-04-01 14:17:37 -07:00
Collin Chin
dfcd72dc25
Merge pull request #1712 from AleoHQ/abnf-function-output 
[ABNF] Require function output type.
 2022-04-01 14:15:47 -07:00
collin
f60cf07fad fix merge conflict 2022-04-01 12:20:21 -07:00
Collin Chin
ff1958e134
Merge pull request #1711 from AleoHQ/remove-ast-to-match-grammar 
Remove ast to match grammar testnet3-dev
 2022-04-01 12:17:15 -07:00
collin
1025ab5b19 fix merge conflict 2022-04-01 12:04:37 -07:00
Collin Chin
692260a81f
Merge pull request #1706 from AleoHQ/remove-inaccessible-codepoints-pre-t3 
[ABNF] remove Unicode codepoints that can not occur
 2022-03-31 09:32:33 -07:00
Alessandro Coglio
d08a4f814a [ABNF] Remove expression statements. 
Since we do not have tuple in this version of Leo, we cannot have expression
statements, because normally expressions used as statements would have to return
the empty tuple, since we disallow throwing away values in Leo.
 2022-03-29 21:20:26 -07:00
Alessandro Coglio
4cce09d5c8 [ABNF] Require function output type. 
Since this pre-testnet3 version of Leo does not support tuple types, and since a
missing function type is meant to be interpreted as the empty tuple type `()` in
future versions of Leo, it seems appropriate to require a function output type
in this version of Leo. We could instead default to a different type
(e.g. bool), but it seems cleaner to require it for now, and make it optional
later.
 2022-03-28 12:26:36 -07:00
gluax
27921a61e6 tuples removed 2022-03-28 10:35:36 -07:00