gluaxspeed
870dfe8a9d
fix typo
2021-10-26 09:09:47 -07:00
gluaxspeed
338277566d
Merge branch 'master' of github.com:AleoHQ/leo into rfc/static-circuit-members
2021-10-26 09:09:30 -07:00
dependabot[bot]
6238b367dd
Bump backtrace from 0.3.61 to 0.3.62
...
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs ) from 0.3.61 to 0.3.62.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases )
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.61...0.3.62 )
---
updated-dependencies:
- dependency-name: backtrace
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-10-26 10:15:27 +00:00
0rphon
2d204f132f
Merge pull request #1424 from AleoHQ/updating-snarkvm-dependencies
...
updated all dependencies to latest snarkvm version
2021-10-26 06:16:14 +01:00
Alessandro Coglio
582dfed17d
[RFC] Make change suggested by Damir.
2021-10-25 21:23:06 -07:00
0rphon
849fa85a28
updated all dependencies to latest snarkvm version
2021-10-25 13:48:53 -07:00
gluaxspeed
8600c13dd3
make agreed upon changes
2021-10-25 06:43:09 -07:00
Alessandro Coglio
ae26d4c7d4
[RFC] Add an RFC for const functions.
...
The purpose of this RFC is to:
- Provide user documentation for this feature in a more accessible way than
in the text for https://github.com/AleoHQ/leo/pull/1410 , particularly after
that PR is closed.
- Record the discussion in a recent meeting about broadening the notion of const
function to map const arguments to const results rather than requiring const
arguments, as a possible future extension.
2021-10-24 22:19:33 -07:00
gluaxspeed
a34f36b9c1
add example for static constant
2021-10-21 11:31:40 -07:00
gluaxspeed
5654e8a7a6
add a way to define static members to circuits to accesses rfc
2021-10-21 11:27:02 -07:00
gluax
2a7298b873
Merge pull request #1406 from AleoHQ/abnf-empty-circuit
...
[ABNF] Fix rule for circuit inline expressions.
2021-10-20 04:25:14 -07:00
gluax
62db82cf37
Merge pull request #1407 from AleoHQ/abnf-console
...
[ABNF] Fix rule for console statements.
2021-10-20 04:05:42 -07:00
gluax
4fb0c73873
Merge pull request #1402 from AleoHQ/fix-duplicate-bug
...
[Fix] Fixes the random flying bug with duplicates
2021-10-20 04:05:19 -07:00
Alessandro Coglio
1aa9e4c852
[ABNF] Fix rule for console statements.
...
The ending semicolon was missing.
This was found by @bendyarm, while investigating a discrepancy between the Leo
parser in Rust and the Leo parser in ACL2: the latter was correctly following
the erroneous grammar rule; it will be changed to be consistent with the fixed
rule.
2021-10-19 18:01:48 -07:00
Alessandro Coglio
40c5d0f868
[ABNF] Re-generate markdown.
2021-10-19 17:52:45 -07:00
Alessandro Coglio
a52ee75191
[ABNF] Fix rule for circuit inline expressions.
...
The rule failed to disallow expressions like circuit C {}, i.e. with no member
variables. This has been fixed by making the (non-empty) list of circuit inline
elements optional as a whole.
2021-10-19 17:46:51 -07:00
dependabot[bot]
dcacb4b34a
Bump reqwest from 0.11.5 to 0.11.6 ( #1403 )
...
Bumps [reqwest](https://github.com/seanmonstar/reqwest ) from 0.11.5 to 0.11.6.
- [Release notes](https://github.com/seanmonstar/reqwest/releases )
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md )
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.11.5...v0.11.6 )
---
updated-dependencies:
- dependency-name: reqwest
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-10-19 19:01:16 +01:00
damirka
e56a1aedaa
fixes PartialEq use in circuit member assign
2021-10-19 10:43:19 +02:00
Alessandro Coglio
9eb1805d6b
Merge pull request #1400 from AleoHQ/dependabot/cargo/structopt-0.3.25
...
Bump structopt from 0.3.23 to 0.3.25
2021-10-18 09:02:32 -07:00
damirka
89df5be18f
fixes the random flying bug with duplicates
2021-10-18 17:48:39 +02:00
dependabot[bot]
f9071cf582
Bump structopt from 0.3.23 to 0.3.25
...
Bumps [structopt](https://github.com/TeXitoi/structopt ) from 0.3.23 to 0.3.25.
- [Release notes](https://github.com/TeXitoi/structopt/releases )
- [Changelog](https://github.com/TeXitoi/structopt/blob/master/CHANGELOG.md )
- [Commits](https://github.com/TeXitoi/structopt/compare/v0.3.23...v0.3.25 )
---
updated-dependencies:
- dependency-name: structopt
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-10-18 10:19:59 +00:00
Alessandro Coglio
2cdf06f4c8
Merge pull request #1399 from AleoHQ/abnf-sort-goto-targets
...
Abnf sort goto targets
2021-10-16 11:18:28 -07:00
Eric McCarthy
3b1ab8fd3e
[ABNF] Regenerate markdown.
2021-10-15 18:38:10 -07:00
Eric McCarthy
e4eae37653
sort the Go to links so that small changes do not yield so many irrelevant differences
2021-10-15 18:34:14 -07:00
Alessandro Coglio
4b4b831b7a
Merge pull request #1397 from AleoHQ/dependabot/cargo/console-0.15.0
...
Bump console from 0.14.1 to 0.15.0
2021-10-15 10:11:55 -07:00
dependabot[bot]
a223497c2c
Bump console from 0.14.1 to 0.15.0
...
Bumps [console](https://github.com/mitsuhiko/console ) from 0.14.1 to 0.15.0.
- [Release notes](https://github.com/mitsuhiko/console/releases )
- [Changelog](https://github.com/mitsuhiko/console/blob/master/CHANGELOG.md )
- [Commits](https://github.com/mitsuhiko/console/compare/0.14.1...v0.15.0 )
---
updated-dependencies:
- dependency-name: console
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-10-15 10:34:11 +00:00
dependabot[bot]
4f010eda63
Bump assert_cmd from 2.0.1 to 2.0.2 ( #1388 )
...
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd ) from 2.0.1 to 2.0.2.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases )
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md )
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v2.0.1...v2.0.2 )
---
updated-dependencies:
- dependency-name: assert_cmd
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-10-14 21:44:42 +03:00
Alessandro Coglio
1f1fb9cb11
Merge pull request #1393 from AleoHQ/dependabot/cargo/thiserror-1.0.30
...
Bump thiserror from 1.0.29 to 1.0.30
2021-10-14 09:11:35 -07:00
Alessandro Coglio
3b3e525d8e
Merge pull request #1389 from AleoHQ/dependabot/cargo/reqwest-0.11.5
...
Bump reqwest from 0.11.4 to 0.11.5
2021-10-14 09:09:39 -07:00
dependabot[bot]
6fecba8352
Bump thiserror from 1.0.29 to 1.0.30
...
Bumps [thiserror](https://github.com/dtolnay/thiserror ) from 1.0.29 to 1.0.30.
- [Release notes](https://github.com/dtolnay/thiserror/releases )
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.29...1.0.30 )
---
updated-dependencies:
- dependency-name: thiserror
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-10-11 10:16:11 +00:00
dependabot[bot]
e39c0c72ed
Bump reqwest from 0.11.4 to 0.11.5
...
Bumps [reqwest](https://github.com/seanmonstar/reqwest ) from 0.11.4 to 0.11.5.
- [Release notes](https://github.com/seanmonstar/reqwest/releases )
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md )
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.11.4...v0.11.5 )
---
updated-dependencies:
- dependency-name: reqwest
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2021-10-08 10:17:48 +00:00
Alessandro Coglio
6e3900dfa2
Merge pull request #1380 from AleoHQ/rfc-import
...
[RFC] Some minor edits and some additions to the imports RFC
2021-10-07 09:12:16 -07:00
Alessandro Coglio
b96aa172e3
Merge pull request #1385 from AleoHQ/rfc-casts
...
[RFC] Minor edits to type casts RFC
2021-10-07 09:11:06 -07:00
dependabot[bot]
199265839d
Bump tracing from 0.1.28 to 0.1.29 ( #1386 )
...
Bumps [tracing](https://github.com/tokio-rs/tracing ) from 0.1.28 to 0.1.29.
- [Release notes](https://github.com/tokio-rs/tracing/releases )
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.28...tracing-0.1.29 )
---
updated-dependencies:
- dependency-name: tracing
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-10-07 18:49:34 +03:00
Alessandro Coglio
f3a1352ec2
[RFC] Minor edits to the text.
2021-10-05 21:01:47 -07:00
Alessandro Coglio
aa29ce30d4
[RFC] Move some text to explicit background section.
...
According to new template, background is at the same level as (and before)
design.
2021-10-05 20:54:59 -07:00
Alessandro Coglio
7d4198fe43
[RFC] Change some headling levels.
...
In accordance with new template.
2021-10-05 20:53:20 -07:00
Alessandro Coglio
93210e7879
[RFC] Revise the background on pacakges and imports.
...
Starting to establish precise nomenclature and definitions for these Leo
concepts.
2021-10-04 19:04:11 -07:00
Alessandro Coglio
bc9658b972
[RFC] Improve some wording.
2021-10-04 18:51:48 -07:00
Alessandro Coglio
ebc213342b
Merge pull request #1377 from AleoHQ/rfc-recursion
...
[RFC] Clarify bounded recursion RFC
2021-10-01 20:06:07 -07:00
Alessandro Coglio
5b77e1e283
[RFC] Add a background section.
2021-10-01 10:58:45 -07:00
Alessandro Coglio
b37de11116
[RFC] Minor edits (just form, no change of substance).
2021-10-01 10:46:06 -07:00
Alessandro Coglio
8d26cc5676
[RFC] Adjust heading levels according to new template.
2021-10-01 10:38:16 -07:00
dependabot[bot]
5033a6f74f
Bump wasm-bindgen from 0.2.74 to 0.2.78 ( #1379 )
...
Bumps [wasm-bindgen](https://github.com/rustwasm/wasm-bindgen ) from 0.2.74 to 0.2.78.
- [Release notes](https://github.com/rustwasm/wasm-bindgen/releases )
- [Changelog](https://github.com/rustwasm/wasm-bindgen/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rustwasm/wasm-bindgen/compare/0.2.74...0.2.78 )
---
updated-dependencies:
- dependency-name: wasm-bindgen
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2021-10-01 14:18:00 +03:00
Alessandro Coglio
d134548d0e
Merge pull request #1373 from AleoHQ/rfc-strings
...
[RFC] Clarify structure of character/string RFC
2021-09-30 22:13:53 -07:00
Alessandro Coglio
b91864828f
Merge pull request #1372 from AleoHQ/rfc-template
...
[RFC] Extend template.
2021-09-30 22:13:19 -07:00
Alessandro Coglio
a5de1d6ee3
Merge pull request #1368 from AleoHQ/rfc-rec-trans
...
[RFC] Updates to record/transaction model
2021-09-30 22:12:53 -07:00
Eric McCarthy
e2ba64b79d
Merge pull request #1362 from AleoHQ/feature/remove-span-snapshot
...
Feature/remove span snapshot
2021-09-30 15:33:18 -07:00
Alessandro Coglio
aca438aaba
[RFC] Move some text under future extensions.
2021-09-30 10:15:15 -07:00
Alessandro Coglio
8b39f54165
[RFC] Move inlining examples to background section.
2021-09-30 10:10:23 -07:00