ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,010 Commits 54 Branches 46 Tags 340 MiB
d2eeba234c
Commit Graph

6010 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
3b1bd38ec6 Update passes 2023-08-09 16:58:28 -04:00
Pranav Gaddamadugu
90add44907 WIP update passes 2023-08-09 15:34:39 -04:00
Pranav Gaddamadugu
a819488190 Support NodeID in parser; note that NodeID::default() is a placeholder 2023-08-09 13:09:43 -04:00
Pranav Gaddamadugu
5a1b9efd80 Add NodeID to Literal 2023-08-09 10:46:06 -04:00
Pranav Gaddamadugu
ec3aa4bd75 Update Reconstructor 2023-08-09 10:45:48 -04:00
Pranav Gaddamadugu
2f024c8346 Add id field to AST nodes 2023-08-09 10:13:59 -04:00
Pranav Gaddamadugu
6ab280a935 Add id to Node 2023-08-09 09:30:01 -04:00
collin
d654182095 commit example files 2023-08-08 11:02:42 -07:00
dependabot[bot]
964ca9ac2f
Bump clap from 4.3.19 to 4.3.21 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.19 to 4.3.21.
- [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/v4.3.19...v4.3.21)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-08 17:16:30 +00:00
collin
7714f55999 chore(leo): bump version for new release 2023-08-08 10:14:56 -07:00
Collin Chin
013809c076
implement leo example command for lottery, tictactoe, token (#2514) 
* implement leo example command for lottery, tictactoe, token

* remove unused cli arg

* update github actions

* update github actions
 2023-08-08 09:42:30 -07:00
Collin Chin
af1f7f96fb
Implement Leo Account (#2513) 
* implement leo account new --seed

* implement leo account new --write

* implement leo account import --write

* gitignore
 2023-08-07 16:01:33 -07:00
d0cd
b22232c02c
Merge pull request #2516 from AleoHQ/dependabot/cargo/testnet3/regex-1.9.3 
Bump regex from 1.9.1 to 1.9.3
 2023-08-07 09:15:07 -07:00
d0cd
79c51bc33b
Merge pull request #2517 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.183 
Bump serde from 1.0.180 to 1.0.183
 2023-08-07 09:14:46 -07:00
d0cd
6078f62397
Merge pull request #2518 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.7.1 
Bump tempfile from 3.7.0 to 3.7.1
 2023-08-07 09:14:25 -07:00
dependabot[bot]
85f171b523
Bump tempfile from 3.7.0 to 3.7.1 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.7.0 to 3.7.1.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.7.0...v3.7.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-07 10:52:21 +00:00
dependabot[bot]
80867c6956
Bump serde from 1.0.180 to 1.0.183 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.180 to 1.0.183.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.180...v1.0.183)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-07 10:52:12 +00:00
dependabot[bot]
35300fb248
Bump regex from 1.9.1 to 1.9.3 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.1 to 1.9.3.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.9.1...1.9.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-07 10:52:02 +00:00
d0cd
db46d472b5
Merge pull request #2510 from AleoHQ/dependabot/cargo/testnet3/color-backtrace-0.6.0 
Bump color-backtrace from 0.5.1 to 0.6.0
 2023-08-02 08:31:16 -07:00
d0cd
87ff32648d
Merge pull request #2511 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.180 
Bump serde from 1.0.175 to 1.0.180
 2023-08-02 08:30:53 -07:00
dependabot[bot]
0db0810519
Bump serde from 1.0.175 to 1.0.180 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.175 to 1.0.180.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.175...v1.0.180)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-01 10:35:55 +00:00
dependabot[bot]
68d0bc4fb5
Bump color-backtrace from 0.5.1 to 0.6.0 
Bumps [color-backtrace](https://github.com/athre0z/color-backtrace) from 0.5.1 to 0.6.0.
- [Changelog](https://github.com/athre0z/color-backtrace/blob/master/CHANGELOG.md)
- [Commits](https://github.com/athre0z/color-backtrace/compare/v0.5.1...v0.6.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-07-31 10:40:19 +00:00
dependabot[bot]
1c1614fb31
Bump serde from 1.0.174 to 1.0.175 (#2503) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.174 to 1.0.175.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.174...v1.0.175)

---
updated-dependencies:
- dependency-name: serde
  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>
 2023-07-26 14:18:10 -07:00
dependabot[bot]
a91fd72a7f
Bump clap from 4.3.17 to 4.3.19 (#2502) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.17 to 4.3.19.
- [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/v4.3.17...v4.3.19)

---
updated-dependencies:
- dependency-name: clap
  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>
 2023-07-26 14:08:50 -07:00
collin
d336be0b7b chore(leo): bump version for new release 2023-07-24 10:51:44 -07:00
Collin Chin
d31b707c4b
Update leo examples (#2501) 
* improve leo example run scripts

* add leo build warning message, reduce number of calls to snarkvm package open

* cargo clippy

* Update examples/token/run.sh

Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update examples/token/run.sh

Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update examples/token/run.sh

Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update examples/token/run.sh

Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update examples/token/run.sh

Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* fix comments

* make auctioneer the starting private key in auction example

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
 2023-07-24 10:33:41 -07:00
Alessandro Coglio
ac38dfa028
[examples] Update some example files. (#2493) 
* [examples] Update some READMEs.

These contained some copied-and-pasted text that had not been updated.

Also added a note about the need to switch private key for the second command
in `simple_token`.

* [examples] Update input file for lottery.

* [examples] Remove `leo build` from `vote` script.
 2023-07-21 17:13:06 -07:00
dependabot[bot]
b70ebe5f86
Bump num-traits from 0.2.15 to 0.2.16 (#2499) 
Bumps [num-traits](https://github.com/rust-num/num-traits) from 0.2.15 to 0.2.16.
- [Changelog](https://github.com/rust-num/num-traits/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-traits/compare/num-traits-0.2.15...num-traits-0.2.16)

---
updated-dependencies:
- dependency-name: num-traits
  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>
 2023-07-21 17:07:00 -07:00
dependabot[bot]
960a14c06c
Bump thiserror from 1.0.43 to 1.0.44 (#2498) 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.43 to 1.0.44.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.43...1.0.44)

---
updated-dependencies:
- dependency-name: thiserror
  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>
 2023-07-21 17:06:46 -07:00
dependabot[bot]
95f989d881
Bump serde from 1.0.171 to 1.0.174 (#2497) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.171 to 1.0.174.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.171...v1.0.174)

---
updated-dependencies:
- dependency-name: serde
  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>
 2023-07-21 17:06:28 -07:00
dependabot[bot]
0fcf74f52a
Bump tempfile from 3.6.0 to 3.7.0 (#2496) 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.6.0 to 3.7.0.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.6.0...v3.7.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-21 17:06:13 -07:00
dependabot[bot]
793f266a37
Bump clap from 4.3.16 to 4.3.17 (#2494) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.16 to 4.3.17.
- [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/v4.3.16...v4.3.17)

---
updated-dependencies:
- dependency-name: clap
  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>
 2023-07-21 17:05:55 -07:00
collin
009944c483 remove version from test-framework 2023-07-21 14:27:16 -07:00
collin
6a7748e5fe chore(leo): bump version for new release 2023-07-19 18:17:31 -07:00
Collin Chin
d44457fc32
[Feature] Implement leo execute (#2491) 
* bump snarkvm rev

* update default gitignore

* impl leo execute

* bump snarkvm 0.14.5

* modify examples wip

* update run.sh examples

* impl env file

* clippy warning

* fix auction example

* fix auction example env

* generate new private key for new env - tests failing due to env not found err

* commit error changes

* Fix tests; clippy

* Get examples working

* leo build checks that build dir is well formed; clippy

* Clean up

* Update examples/README.md

Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* do not commit .avm files

* use snarkvm commands

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Pranav Gaddamadugu <pranav@aleo.org>
Co-authored-by: d0cd <pranavsaig@gmail.com>
 2023-07-19 18:04:09 -07:00
d0cd
24248c358d
Merge pull request #2492 from AleoHQ/dependabot/cargo/testnet3/clap-4.3.16 
Bump clap from 4.3.12 to 4.3.16
 2023-07-19 09:02:17 -04:00
dependabot[bot]
f2de15ffba
Bump clap from 4.3.12 to 4.3.16 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.12 to 4.3.16.
- [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/v4.3.12...v4.3.16)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-07-19 10:14:06 +00:00
dependabot[bot]
59355c0ae8
Bump serde from 1.0.168 to 1.0.171 (#2488) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.168 to 1.0.171.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.168...v1.0.171)

---
updated-dependencies:
- dependency-name: serde
  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>
 2023-07-17 10:02:07 -07:00
dependabot[bot]
21fe4199cd
Bump anyhow from 1.0.71 to 1.0.72 (#2486) 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.71 to 1.0.72.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.71...1.0.72)

---
updated-dependencies:
- dependency-name: anyhow
  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>
 2023-07-17 09:59:05 -07:00
dependabot[bot]
c1de02e75a
Bump clap from 4.3.11 to 4.3.12 (#2485) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.11 to 4.3.12.
- [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/v4.3.11...v4.3.12)

---
updated-dependencies:
- dependency-name: clap
  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>
 2023-07-17 09:56:25 -07:00
dependabot[bot]
95e90fe5ec
Bump assert_cmd from 2.0.11 to 2.0.12 (#2484) 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 2.0.11 to 2.0.12.
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v2.0.11...v2.0.12)

---
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>
 2023-07-17 09:56:08 -07:00
d0cd
7d33fcf941
Merge pull request #2482 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.168 
Bump serde from 1.0.166 to 1.0.168
 2023-07-11 11:12:05 -04:00
dependabot[bot]
e199fc1366
Bump serde from 1.0.166 to 1.0.168 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.166 to 1.0.168.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.166...v1.0.168)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-07-10 22:07:40 +00:00
Eric McCarthy
c68b67bee2
change abnf grammar link (#2478) 
The abnf grammar is no longer stored in the leo repo.
There is just a forwarding pointer to the grammars repo.
This commit changes the link to go directly to the grammars repo.

Signed-off-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
 2023-07-10 15:07:30 -07:00
Collin Chin
32cdde0e97
remove .all-contributorsrc file, add contributor details to README (#2483) 2023-07-10 15:07:04 -07:00
dependabot[bot]
d140b7f2a8
Bump thiserror from 1.0.41 to 1.0.43 (#2480) 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.41 to 1.0.43.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.41...1.0.43)

---
updated-dependencies:
- dependency-name: thiserror
  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>
 2023-07-10 15:06:35 -07:00
dependabot[bot]
6e29afb400
Bump regex from 1.8.4 to 1.9.1 (#2481) 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.4 to 1.9.1.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.8.4...1.9.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-10 15:05:56 -07:00
dependabot[bot]
0afa5adf36
Bump clap from 4.3.10 to 4.3.11 (#2475) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.10 to 4.3.11.
- [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/v4.3.10...v4.3.11)

---
updated-dependencies:
- dependency-name: clap
  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>
 2023-07-10 15:05:09 -07:00
dependabot[bot]
5cdebb3d79
Bump toml from 0.7.5 to 0.7.6 (#2473) 
Bumps [toml](https://github.com/toml-rs/toml) from 0.7.5 to 0.7.6.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.7.5...toml-v0.7.6)

---
updated-dependencies:
- dependency-name: toml
  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>
 2023-07-10 15:04:42 -07:00
dependabot[bot]
0c062b5164
Bump smallvec from 1.10.0 to 1.11.0 (#2472) 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.10.0 to 1.11.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.10.0...v1.11.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-10 15:04:24 -07:00