ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-17 16:58:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,710 Commits 45 Branches 42 Tags 361 MiB
34a0b4e9b0
Commit Graph

3710 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
34a0b4e9b0 clippy 2022-01-17 16:30:08 -08:00
collin
6ccb8ef6b2 update snarkvm rev 2022-01-17 16:07:31 -08:00
collin
0425a92c2b feature: update to latest snarkvm rev 2022-01-11 16:22:34 -08:00
gluax
8bce3a396a
Merge pull request #1501 from AleoHQ/feature/dependabot-to-staging 
[Feature] Point dependabot to staging
 2021-12-14 10:04:40 -08:00
damirka
bce957e8f6 updates dependabot on master 2021-12-08 20:38:17 +03:00
dependabot[bot]
7f32082ee9
Bump tracing-subscriber from 0.2.19 to 0.3.1 (#1454) 
* Bump tracing-subscriber from 0.2.19 to 0.3.1

Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.2.19 to 0.3.1.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.2.19...tracing-subscriber-0.3.1)

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

Signed-off-by: dependabot[bot] <support@github.com>

* fix api changes

Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: damirka <damirka.ru@gmail.com>
 2021-11-16 15:40:53 +03:00
dependabot[bot]
f23b3cd021
Bump backtrace from 0.3.62 to 0.3.63 (#1451) 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.62 to 0.3.63.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.62...0.3.63)

---
updated-dependencies:
- dependency-name: backtrace
  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-11-11 12:16:48 +03:00
Alessandro Coglio
1cf47f4136
Merge pull request #1430 from AleoHQ/dependabot/cargo/backtrace-0.3.62 
Bump backtrace from 0.3.61 to 0.3.62
 2021-11-08 23:53:41 -08:00
gluax
9057ebf095
Merge pull request #1442 from AleoHQ/dependabot/cargo/num-bigint-0.4.3 
Bump num-bigint from 0.4.2 to 0.4.3
 2021-11-03 12:38:52 -07:00
Alessandro Coglio
93024f7b6d
Merge pull request #1441 from AleoHQ/dependabot/cargo/anyhow-1.0.45 
Bump anyhow from 1.0.44 to 1.0.45
 2021-11-03 09:06:01 -07:00
dependabot[bot]
a83492a77e
Bump num-bigint from 0.4.2 to 0.4.3 
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.4.2 to 0.4.3.
- [Release notes](https://github.com/rust-num/num-bigint/releases)
- [Changelog](https://github.com/rust-num/num-bigint/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-bigint/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-11-03 10:17:03 +00:00
dependabot[bot]
3f0017e2a1
Bump anyhow from 1.0.44 to 1.0.45 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.44 to 1.0.45.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.44...1.0.45)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-11-03 10:16:30 +00:00
Alessandro Coglio
7f9b6b09da
Merge pull request #1414 from AleoHQ/rfc/static-circuit-members 
[RFC] Add a way to define static members to circuits to accesses RFC
 2021-10-27 21:46:34 -07:00
Alessandro Coglio
55f4d95f16
Merge pull request #1416 from AleoHQ/rfc-const-fun 
[RFC] Add an RFC for const functions.
 2021-10-27 21:44:37 -07:00
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