ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 10:14:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,840 Commits 53 Branches 44 Tags 331 MiB
b690a62676
Commit Graph

5840 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Collin Chin
b690a62676
impl Mapping::contains, Mapping::remove (#2436) 
* impl Mapping::contains, Mapping::remove

* regen expectations

* 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>

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
 2023-06-29 17:04:55 -07:00
collin
9fccf015d7 chore(leo): bump version for new release 2023-06-28 21:09:44 -07:00
dependabot[bot]
d0c6de57fb
Bump snarkvm from 0.12.5 to 0.12.6 (#2431) 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.12.5 to 0.12.6.
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.12.5...v0.12.6)

---
updated-dependencies:
- dependency-name: snarkvm
  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-28 21:03:22 -07:00
d0cd
b236918df4
[Feature] Support ChaCha::rand_* (#2433) 
* Add tests for ChaCha::rand*

* Add Chacha::rand* to AST, tyc, and codegen

* Add lottery example

* Regen expectations

* Add check asserting that command is only used in finalize block

* Update example and related CI
 2023-06-28 21:02:50 -07:00
d0cd
c373b898c4
Merge pull request #2427 from AleoHQ/feat/group-to-coordinate 
[Feature] Support `to_x_coordinate` for `group`s.
 2023-06-28 11:32:57 -04:00
Pranav Gaddamadugu
1fbb228092 Add comment 2023-06-28 10:09:33 -04:00
d0cd
a4745bc31b
Merge pull request #2429 from AleoHQ/dependabot/cargo/testnet3/clap-4.3.8 
Bump clap from 4.3.5 to 4.3.8
 2023-06-26 10:27:56 -04:00
d0cd
a117a79d51
Merge pull request #2430 from AleoHQ/dependabot/cargo/testnet3/toml-0.7.5 
Bump toml from 0.7.4 to 0.7.5
 2023-06-26 10:27:26 -04:00
dependabot[bot]
49f4c4676c
Bump toml from 0.7.4 to 0.7.5 
Bumps [toml](https://github.com/toml-rs/toml) from 0.7.4 to 0.7.5.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.7.4...toml-v0.7.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-06-26 11:00:02 +00:00
dependabot[bot]
efa76a0b90
Bump clap from 4.3.5 to 4.3.8 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.5 to 4.3.8.
- [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.5...v4.3.8)

---
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-26 10:59:32 +00:00
Pranav Gaddamadugu
5699352ce6 Add tests and regen expectations 2023-06-23 21:03:32 -04:00
Pranav Gaddamadugu
8062693f3d Support method calls for group coordinates 2023-06-23 21:03:11 -04:00
Pranav Gaddamadugu
4bbdf63da9 Add tests and regen expectations 2023-06-23 20:36:16 -04:00
Pranav Gaddamadugu
8b4552efd5 Fix implementation 2023-06-23 20:35:42 -04:00
Pranav Gaddamadugu
9b7a4ba456 WIP associated function syntax for group::to_*_coordinate 2023-06-23 20:22:03 -04:00
collin
80b0976276 chore(leo): bump version for new release 2023-06-23 17:19:25 -07:00
d0cd
07d26ea43f
[Feature] Casting via the as operator. (#2426) 
* Revert "Revert WIP"

This reverts commit 5cce8b4a0e.

* Update tyc

* Add parse, compile, and execute tests

* Regen expectations
 2023-06-23 17:09:15 -07:00
dependabot[bot]
1025bd965d
Bump itertools from 0.10.5 to 0.11.0 (#2424) 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.5 to 0.11.0.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.10.5...v0.11.0)

---
updated-dependencies:
- dependency-name: itertools
  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-23 17:07:51 -07:00
dependabot[bot]
ecff0f225b
Bump openssl from 0.10.54 to 0.10.55 (#2422) 
Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.54 to 0.10.55.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.54...openssl-v0.10.55)

---
updated-dependencies:
- dependency-name: openssl
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-06-23 17:07:37 -07:00
dependabot[bot]
0c504724c6
Bump snarkvm from 0.12.3 to 0.12.5 (#2425) 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.12.3 to 0.12.5.
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.12.3...v0.12.5)

---
updated-dependencies:
- dependency-name: snarkvm
  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-23 17:07:19 -07:00
Pranav Gaddamadugu
5cce8b4a0e Revert WIP 2023-06-23 10:24:10 -04:00
Pranav Gaddamadugu
ccb4c0f38f Implement type checking for cast expressions 2023-06-23 10:10:10 -04:00
Pranav Gaddamadugu
c80f9c317c Handle cast expressions in SSA and CodeGen passes 2023-06-23 09:36:40 -04:00
Pranav Gaddamadugu
9677682580 Support CastExpressions in the parser 2023-06-23 00:24:01 -04:00
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