collin
065f16a93b
cargo fmt
2022-04-13 15:25:35 -07:00
collin
f53817c5f5
implement real address literal check
2022-04-13 15:21:08 -07:00
collin
b6fb3d0a36
remove unused code and dependencies
2022-04-13 14:28:01 -07:00
Alessandro Coglio
515e471c8b
[ABNF] Add a rule for function calls. ( #1747 )
...
* [ABNF] Add a rule for function calls.
This does not change the language. It just slightly reformulates the grammar for
greater clarity and to help establish a nomenclature for constructs.
Also remove a trailing space.
* [ABNF] Re-generate markdown.
Co-authored-by: collin <16715212+collinc97@users.noreply.github.com>
2022-04-13 12:22:04 -07:00
Collin Chin
49306f6132
Merge pull request #1746 from AleoHQ/feature/rename-const-params-to-constant
...
[Impl] Rename const fn args to constant
2022-04-12 14:16:05 -07:00
gluax
ba993b3a83
match pattern cleanup
2022-04-12 13:13:02 -07:00
gluax
198ceee536
fix token and constant pairing
2022-04-12 12:22:52 -07:00
gluax
168080942b
better match pattern for catching more error situations
2022-04-12 11:52:12 -07:00
gluax
9f79ca7169
allow const but throw a recoverable error
2022-04-12 11:46:35 -07:00
Collin Chin
8770247cba
Merge pull request #1745 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.11
...
Bump tracing-subscriber from 0.3.10 to 0.3.11
2022-04-11 10:44:42 -07:00
Collin Chin
5a24880ecf
Merge pull request #1744 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.33
...
Bump tracing from 0.1.32 to 0.1.33
2022-04-11 10:44:26 -07:00
gluax
304044546c
add constant keyword to grammar, change parameter grammar
2022-04-11 10:01:54 -07:00
dependabot[bot]
32b8ab0f7f
Bump tracing-subscriber from 0.3.10 to 0.3.11
...
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing ) from 0.3.10 to 0.3.11.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.10...tracing-subscriber-0.3.11 )
---
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-11 10:21:16 +00:00
dependabot[bot]
7576418c71
Bump tracing from 0.1.32 to 0.1.33
...
Bumps [tracing](https://github.com/tokio-rs/tracing ) from 0.1.32 to 0.1.33.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.32...tracing-0.1.33 )
---
updated-dependencies:
- dependency-name: tracing
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-04-11 10:21:08 +00:00
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