Commit Graph

5816 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
72c6dcd343 Add CastExpression to the AST 2023-06-23 00:15:59 -04:00
Pranav Gaddamadugu
6ef4779925 Add the as symbol 2023-06-22 23:57:09 -04:00
dependabot[bot]
84043469bc
Bump clap from 4.3.3 to 4.3.5 (#2421)
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.3 to 4.3.5.
- [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.3...v4.3.5)

---
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-06-21 10:26:15 -07:00
dependabot[bot]
ac60e30e92
Bump sha2 from 0.10.6 to 0.10.7 (#2419)
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.10.6 to 0.10.7.
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.6...sha2-v0.10.7)

---
updated-dependencies:
- dependency-name: sha2
  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-06-21 10:25:59 -07:00
Collin Chin
4a0ee1d9d8
[Feature] implement block.height command (#2420)
* implement initial block.height

* commit.height parsing and code generation

* patch self.caller tests

* add error for self.caller in a finalize context

* fix test
2023-06-20 16:36:11 -07:00
collin
7741f5b0c4 chore(leo): bump version for new release 2023-06-15 22:38:02 -07:00
collin
925e07a4d1 bump snarkvm 0.12.3 2023-06-15 22:35:18 -07:00
collin
f5867a4fe4 chore(leo): bump version for new release 2023-06-15 22:26:19 -07:00
Collin Chin
e5ae160d1a
Implement new hash and commit functions (#2415)
* refactor hash -> hash_to_field

* refactor commit -> commit_to_field

* implement commit_to_address

* implement hash_to_address

* update hash and commit examples

* implement hash_to_scalar

* update tests

* implement bhp hash to integer variants

* implement bhp pedersen and poseidon integer variants

* Update compiler/passes/src/type_checking/checker.rs

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update compiler/passes/src/type_checking/checker.rs

Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* fix pedersen hash type checks

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
2023-06-15 19:55:03 -07:00
Collin Chin
d83c4be330
Implement Mapping::get_or_use (#2413)
* get_or_init -> get_or_use

* use mapping get_or_use in examples

* fix codegen for Mapping::get_or_use

* fix tests for Mapping::get_or_use

* fix warnings, update snarvm rev

* bump circle rust img v1.70

* fix codegen

* update snarkvm rev and regen tests

* Update compiler/parser/src/parser/expression.rs

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

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: d0cd <pranavsaig@gmail.com>
2023-06-13 12:09:33 -07:00
Collin Chin
bb73b9fa31
Feat/updater (#2410)
* implement leo update cli command and refactor cli directory structure

* simplify dependencies

* silence clippy warning
2023-06-12 14:39:02 -07:00
d0cd
4205d191f4
Merge pull request #2409 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.164
Bump serde from 1.0.163 to 1.0.164
2023-06-12 07:39:25 -07:00
d0cd
a9324b7efd
Merge pull request #2411 from AleoHQ/dependabot/cargo/testnet3/clap-4.3.3
Bump clap from 4.3.2 to 4.3.3
2023-06-12 07:14:30 -07:00
dependabot[bot]
2710da82a8
Bump clap from 4.3.2 to 4.3.3
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.2 to 4.3.3.
- [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.2...v4.3.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-12 10:59:35 +00:00
dependabot[bot]
e5df1278bf
Bump serde from 1.0.163 to 1.0.164
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.163 to 1.0.164.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.163...v1.0.164)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-08 10:59:19 +00:00
Collin Chin
4e71f60cb4
Implement additional features to the "group" element type (#2394)
* add new hash and commit symbols

* pedersen commitment methods return fields

* use snarkvm rev a451d91, impl commit_to_group.bhp256

* implement bhp commit to group variants

* implement bhp hash_to_group variants

* implement pedersen commit_to_group and hash_to_scalar variants

* implement poseidon hash_to_group and hash_to_scalar variants

* remove hash_many symbol

* fix tests

* regen test expectations
2023-06-07 13:09:08 -07:00
d0cd
190024f939
Merge pull request #2408 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.6.0
Bump tempfile from 3.5.0 to 3.6.0
2023-06-07 07:20:38 -07:00
dependabot[bot]
72bf5acaf6
Bump tempfile from 3.5.0 to 3.6.0
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.5.0 to 3.6.0.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.5.0...v3.6.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-06-07 10:59:50 +00:00
dependabot[bot]
ae12c35010
Bump self_update from 0.36.0 to 0.37.0 (#2403)
Bumps [self_update](https://github.com/jaemk/self_update) from 0.36.0 to 0.37.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

---
updated-dependencies:
- dependency-name: self_update
  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-06-06 11:40:15 -07:00
dependabot[bot]
5ac1589280
Bump regex from 1.8.3 to 1.8.4 (#2406)
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.3 to 1.8.4.
- [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.3...1.8.4)

---
updated-dependencies:
- dependency-name: regex
  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-06-06 11:39:40 -07:00
dependabot[bot]
0cbb8bbb5f
Bump clap from 4.3.0 to 4.3.2 (#2407)
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.0 to 4.3.2.
- [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/clap_complete-v4.3.0...v4.3.2)

---
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-06-06 11:39:10 -07:00
collin
52dfc097c5 chore(leo): bump version for new release 2023-05-31 20:37:17 -07:00
collin
045715b000 bump snarkvm v0.11.6 2023-05-31 20:28:47 -07:00
Collin Chin
42d97d3d89
implement group::GEN Leo syntax (#2401)
* implement group::GEN Leo syntax

* revert unrelated test changes

* move new errors to bottom of file to keep previous error codes consistent
2023-05-31 16:05:56 -07:00
Collin Chin
369db97edd
bump snarkvm v0.11.5 (#2400) 2023-05-30 22:32:27 -07:00
dependabot[bot]
2595810b33
Bump criterion from 0.5.0 to 0.5.1 (#2395)
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.5.0 to 0.5.1.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.5.0...0.5.1)

---
updated-dependencies:
- dependency-name: criterion
  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-05-30 20:34:17 -07:00
dependabot[bot]
2569c3195c
Bump regex from 1.8.2 to 1.8.3 (#2396)
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.2 to 1.8.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.8.2...1.8.3)

---
updated-dependencies:
- dependency-name: regex
  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-05-30 20:33:37 -07:00
Collin Chin
ed734e878e
Bump/snarkvm v0.11.4 (#2399) 2023-05-30 19:50:01 -07:00
d0cd
02bf3ab5d3
Merge pull request #2393 from AleoHQ/dependabot/cargo/testnet3/criterion-0.5.0
Bump criterion from 0.4.0 to 0.5.0
2023-05-24 08:13:26 -07:00
dependabot[bot]
c639735f47
Bump criterion from 0.4.0 to 0.5.0
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.4.0 to 0.5.0.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.4.0...0.5.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-24 10:59:58 +00:00
Collin Chin
2e1a9fc979 chore(leo): bump version for new release 2023-05-23 15:02:30 -07:00
dependabot[bot]
30518e0e50
Bump regex from 1.8.1 to 1.8.2 (#2391)
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.1 to 1.8.2.
- [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.1...1.8.2)

---
updated-dependencies:
- dependency-name: regex
  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-05-23 11:36:33 -07:00
dependabot[bot]
61d6458c3c
Bump console from 0.15.5 to 0.15.7 (#2389)
Bumps [console](https://github.com/console-rs/console) from 0.15.5 to 0.15.7.
- [Changelog](https://github.com/console-rs/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/console-rs/console/compare/0.15.5...0.15.7)

---
updated-dependencies:
- dependency-name: console
  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-05-23 11:36:04 -07:00
dependabot[bot]
9c6df7b9f2
Bump toml from 0.7.3 to 0.7.4 (#2388)
Bumps [toml](https://github.com/toml-rs/toml) from 0.7.3 to 0.7.4.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.7.3...toml-v0.7.4)

---
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-05-23 11:35:29 -07:00
d0cd
80345d936a
Merge pull request #2383 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.11.18
Bump reqwest from 0.11.17 to 0.11.18
2023-05-22 06:51:37 -07:00
d0cd
b4e7e9ed4e
Merge pull request #2382 from AleoHQ/dependabot/cargo/testnet3/zip-0.6.6
Bump zip from 0.6.5 to 0.6.6
2023-05-22 06:50:09 -07:00
d0cd
9520177583
Merge pull request #2379 from AleoHQ/bump/snarkvm-v0.11.2
bump snarkvm v0.11.2
2023-05-22 06:48:53 -07:00
dependabot[bot]
e0d3edb62a
Bump reqwest from 0.11.17 to 0.11.18
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.17 to 0.11.18.
- [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.17...v0.11.18)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-17 10:59:07 +00:00
dependabot[bot]
6790d0079c
Bump zip from 0.6.5 to 0.6.6
Bumps [zip](https://github.com/zip-rs/zip) from 0.6.5 to 0.6.6.
- [Changelog](https://github.com/zip-rs/zip/blob/master/CHANGELOG.md)
- [Commits](https://github.com/zip-rs/zip/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-16 10:59:04 +00:00
collin
1c5de6fb80 bump snarkvm v0.11.2 2023-05-12 14:42:15 -07:00
dependabot[bot]
36c94ac62d
Bump serde from 1.0.162 to 1.0.163 (#2378)
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.162 to 1.0.163.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.162...v1.0.163)

---
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-05-12 14:12:12 -07:00
d0cd
d0c29ce8e0
[Update] snarkvm 0.11.0 (#2377)
* Remove gates from tests

* Remove Finalize test namespace

* Remove gates from examples

* Remove gates from compiler

* Regen expectations

* Add test that gates is allowed as a standard field of a record

* Update Rust version in CI

* Add check for MAX_MAPPINGS
2023-05-10 21:32:37 -07:00
d0cd
4a66d324d8
Merge pull request #2373 from AleoHQ/dependabot/cargo/testnet3/zip-0.6.5
Bump zip from 0.6.4 to 0.6.5
2023-05-08 11:01:43 -07:00
d0cd
86c206ab4a
Merge pull request #2371 from LouisWT/leo-version
feat: support leo --version
2023-05-08 11:01:17 -07:00
dependabot[bot]
f44d537b80
Bump zip from 0.6.4 to 0.6.5
Bumps zip from 0.6.4 to 0.6.5.

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-08 10:10:24 +00:00
LouisWT
caad9c0e44
use default value
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: LouisWT <18911761491@163.com>
2023-05-07 20:28:29 +08:00
LouisWT
a9965093f7 feat: support leo --version or -V 2023-05-06 23:06:05 +08:00
d0cd
a998efbeef
Merge pull request #2370 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.162
Bump serde from 1.0.160 to 1.0.162
2023-05-06 00:41:46 -07:00
dependabot[bot]
6a5e48c225
Bump serde from 1.0.160 to 1.0.162
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.160 to 1.0.162.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.160...1.0.162)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-05-05 10:57:56 +00:00
d0cd
74b0bff9ab
Merge pull request #2366 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.71
Bump anyhow from 1.0.70 to 1.0.71
2023-05-01 07:23:21 -07:00