ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 09:02:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,947 Commits 53 Branches 44 Tags 331 MiB
2fe6892645
Commit Graph

2235 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
2fe6892645 Use NodeBuilder in FunctionInliner 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
19ba799d21 Use NodeBuilder in LoopUnroller 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
8f63fcdf80 Add NodeBuilder to StaticSingleAssigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
05d38f3777 Use NodeBuilder in Flattener 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
bf25bbae8b Use interior mutability pattern for Assigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
637e091abb Use NodeBuilder in DCE 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
26fffd6746 Add and use NodeBuilder in Parser 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
1af776db9d Add checks for unique node IDs up until type checking 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c3a72132bf Add utility to check that Node IDs are unique 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
a1b5cb1add Add NodeID to AST node constructors 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c2d04bf444 Introduce NodeBuilder 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
93efccc9a7 Add NodeID to Identifier::serialize 2023-08-17 17:22:56 -04:00
d0cd
7cd6e757bf
Merge pull request #2522 from AleoHQ/design/node-id 
[Design] Add `id` to AST nodes.
 2023-08-17 00:26:52 -04:00
collin
11b87229f1 chore(leo): bump version for new release 2023-08-15 14:02:00 -07:00
d0cd
85d9a28ebb
[Test] Add examples to test framework. (#2527) 
* Add tests

* Remove debug print

* Regen expectations

* Remove battleship example
 2023-08-15 11:11:17 -07:00
Pranav Gaddamadugu
036776be1b Fix parser 2023-08-09 20:26:48 -04:00
Pranav Gaddamadugu
7cc3330d98 Add failing test 2023-08-09 20:12:02 -04:00
Pranav Gaddamadugu
cbe79c0e98 Remove unused code 2023-08-09 17:38:13 -04:00
Pranav Gaddamadugu
9125c84cd1 Make StructVariableInitializer an AST node 2023-08-09 17:22:52 -04:00
Pranav Gaddamadugu
6808d90545 Only use NodeID::default() 2023-08-09 17:22:33 -04:00
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
7714f55999 chore(leo): bump version for new release 2023-08-08 10:14:56 -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
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
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]
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
collin
d336be0b7b chore(leo): bump version for new release 2023-07-24 10:51:44 -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]
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
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
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]
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
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]
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
collin
a18899f253 chore(leo): bump version for new release 2023-07-05 21:25:34 -07:00
dependabot[bot]
26c7dec5b6
Bump serde from 1.0.164 to 1.0.166 (#2441) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.164 to 1.0.166.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.164...v1.0.166)

---
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-05 18:06:33 -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