AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-21 00:21:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,087 Commits 54 Branches 46 Tags 341 MiB
e1f962fcf6
Commit Graph

4087 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Alessandro Coglio
d633f93f6f [RFC] Use header levels consistent with (new) template. 2021-09-30 09:55:52 -07:00
Alessandro Coglio
43c1b29a52
Merge pull request #1348 from AleoHQ/leo-wasm 
[Implementation] WASM for Leo
 2021-09-30 09:45:16 -07:00
Collin Chin
419a6bd454
Update main.leo 2021-09-29 12:26:40 -07:00
Alessandro Coglio
87c8ec2923 [RFC] Move future extensions under future extensions. 
Also add subsections for each future feature.

Also tweak/improve some wording.
 2021-09-29 10:26:53 -07:00
Alessandro Coglio
6340929f28 [RFC] Move future extensions section to the end. 2021-09-29 10:17:09 -07:00
Alessandro Coglio
4bbbac131e [RFC] Use heading levels accoring to template. 2021-09-29 10:15:46 -07:00
Alessandro Coglio
b966b1833c [RFC] Generalize some text. 2021-09-29 10:13:24 -07:00
Alessandro Coglio
c3dab6a153 [RFC] Move future extensions section last. 
Since it may refer to something discussed under alternatives, it makes more
sense to put this after that.
 2021-09-29 10:05:22 -07:00
Pranav Gaddamadugu
fd4b1ef598 Removing debug code from test-framework 2021-09-29 08:03:38 -07:00