ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 10:18:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,862 Commits 45 Branches 43 Tags 363 MiB
5cdebb3d79
Commit Graph

806 Commits

Author SHA1 Message Date
collin
a18899f253 chore(leo): bump version for new release 2023-07-05 21:25:34 -07:00
dependabot[bot]
208176bc5d
Bump backtrace from 0.3.67 to 0.3.68 (#2438) 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.67 to 0.3.68.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.67...0.3.68)

---
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>
 2023-07-05 18:06:21 -07:00
d0cd
d92d48e4a5
[Fix] Fix issues related to flattening. (#2439) 
* Implement fix

* Regen expectations

* Update AST printing for functions

* Fix code generation when there are no output operands

* Fix flattener

* Add additional tests

* Regen expectations

* Fmt

* Regen expectations
 2023-07-05 15:45:15 -07:00
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
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
5699352ce6 Add tests and regen expectations 2023-06-23 21:03:32 -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
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
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
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
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
collin
52dfc097c5 chore(leo): bump version for new release 2023-05-31 20:37:17 -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
ed734e878e
Bump/snarkvm v0.11.4 (#2399) 2023-05-30 19:50:01 -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
collin
1c5de6fb80 bump snarkvm v0.11.2 2023-05-12 14:42:15 -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
dependabot[bot]
1a6b6a2eeb
Bump regex from 1.7.3 to 1.8.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.7.3 to 1.8.0.
- [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/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-21 10:57:59 +00:00
collin
85821b524e chore(leo): bump version for new release 2023-04-19 18:02:15 -07:00
Pranav Gaddamadugu
4b64fbe03a Fix error message 2023-04-18 17:22:59 -07:00
Pranav Gaddamadugu
6a660c4ceb Remove gates check 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
581a671e31 Update maximum number of transitions 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
2390d10677 Regen expectations 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
93dbeb77b2 Update tests 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
0b99135962 Update Mapping::get_or to Mapping::get_or_init 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
209d9cb5e7 Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
74c888b037 Add/update tests 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
cff63e9918 Address feedback; remove leo-core 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
7bef7c401f Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
d337cba6ac Add test in Finalize namespace 2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu
8b1861fff1 Regen expectations 2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu
62f8506a28 Fix test 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
0d64247b1e Add tests that should pass 2023-04-18 16:51:42 -07:00
Pranav Gaddamadugu
ff5ce80be3 Update mapping tests to usenew operations 2023-04-18 16:51:42 -07:00
Pranav Gaddamadugu
00a7943746 Regen expectations 2023-04-18 16:51:42 -07:00
Pranav Gaddamadugu
d4eb6441d7 Enable warnings in compiler output 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
9df7486053 Regen expectations 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
a909a31dbf Regen expectations 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
871b35d6d1 Cleanup expectations 2023-04-12 12:38:44 -07:00
Pranav Gaddamadugu
fe1d9f9523 Disable DCE for test; regen expectations 2023-04-12 12:38:44 -07:00
Pranav Gaddamadugu
64548699a9 Fmt 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
69f4a20aca Regen expectations 2023-04-12 12:38:43 -07:00