ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-29 18:41:16 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,860 Commits 53 Branches 44 Tags 331 MiB
c48c227894
Commit Graph

590 Commits

Author SHA1 Message Date
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
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
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
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 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 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
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
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
209d9cb5e7 Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
7bef7c401f Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
8b1861fff1 Regen expectations 2023-04-18 16:59:07 -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
69f4a20aca Regen expectations 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
1adc4d232a Update benches 2023-04-12 12:38:43 -07:00
d0cd
c55ec9894e
Merge pull request #2347 from AleoHQ/fix/issue-2346 
[Fix] Fixes variable renaming for inlined functions.
 2023-04-12 12:27:54 -07:00
Pranav Gaddamadugu
e460ce1c8e Support negative group literals 2023-04-11 10:44:26 -07:00
Pranav Gaddamadugu
ee0930b834 Regen expectations 2023-04-11 10:13:15 -07:00
Pranav Gaddamadugu
b193d511ca Update test and regen expectations 2023-04-09 19:58:08 -07:00
Pranav Gaddamadugu
6f57c6e2ce Cleanup and regen expectations 2023-04-05 09:14:17 -07:00
d0cd
c74772cfac
Merge pull request #2328 from AleoHQ/fix/issue-2324 
[Fix] Fixes unwrapping panic when unwrapping `lookup_struct` in `ProgramVisitor::visit_function`
 2023-03-31 16:06:51 -07:00
Pranav Gaddamadugu
484eea5bd2 Regen expectations 2023-03-31 09:58:25 -07:00
Pranav Gaddamadugu
b8df30075a Regen expectations 2023-03-27 10:12:12 -07:00
d0cd
2b5c24ada6 Regen expectations 2023-02-22 08:25:51 -08:00
d0cd
6c61296f78 Add targeted DCE test; cleanup 2023-02-21 17:13:54 -08:00
d0cd
ce4d016742 Regen expectations 2023-02-21 17:13:53 -08:00
d0cd
c8f6089be3
[Fix] Excludes inline functions from produced bytecode. (#2277) 
* Remove codegen for inline functions

* Regen expectations
 2023-02-21 14:17:11 -08:00
d0cd
0522c2a08f
Removes unused or deprecated keywords from the grammar. (#2273) 
* Remove unused/deprecated symbols

* Remove tokens

* Update parser

* Update tests

* Regen expectations
 2023-02-17 19:25:11 -08:00
d0cd
2158710d47 Update test 2023-02-10 23:07:22 -08:00
d0cd
a7f560e212 Regen expectations 2023-02-10 22:56:26 -08:00
d0cd
4b28d81882 Regen other expectations 2023-02-10 21:51:54 -08:00
d0cd
f4a4a98d20 Add expectations for new tests 2023-02-10 21:50:57 -08:00
d0cd
bf49a0cc48 Generate expectations 2023-02-10 16:26:25 -08:00
d0cd
98c7825833 Regen expectations 2023-02-10 09:48:54 -08:00
d0cd
6a3039277e Regen exepectations 2023-02-08 16:41:32 -08:00
d0cd
12de60e55d Update expectations 2023-02-08 12:16:02 -08:00
d0cd
afac7b55bc Add more test cases; fmt 2023-02-08 11:32:53 -08:00