ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-26 08:30:59 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,867 Commits 54 Branches 44 Tags 331 MiB
c68b67bee2
Commit Graph

5867 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric McCarthy
c68b67bee2
change abnf grammar link (#2478) 
The abnf grammar is no longer stored in the leo repo.
There is just a forwarding pointer to the grammars repo.
This commit changes the link to go directly to the grammars repo.

Signed-off-by: Eric McCarthy <7607035+bendyarm@users.noreply.github.com>
 2023-07-10 15:07:30 -07:00
Collin Chin
32cdde0e97
remove .all-contributorsrc file, add contributor details to README (#2483) 2023-07-10 15:07:04 -07:00
dependabot[bot]
d140b7f2a8
Bump thiserror from 1.0.41 to 1.0.43 (#2480) 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.41 to 1.0.43.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.41...1.0.43)

---
updated-dependencies:
- dependency-name: thiserror
  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-10 15:06:35 -07: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]
0afa5adf36
Bump clap from 4.3.10 to 4.3.11 (#2475) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.10 to 4.3.11.
- [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.10...v4.3.11)

---
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-07-10 15:05:09 -07:00
dependabot[bot]
5cdebb3d79
Bump toml from 0.7.5 to 0.7.6 (#2473) 
Bumps [toml](https://github.com/toml-rs/toml) from 0.7.5 to 0.7.6.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.7.5...toml-v0.7.6)

---
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-07-10 15:04:42 -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 Chin
c48c227894
Update README.md 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-07-07 08:21:01 -07:00
collin
0dadc4307c update README 2023-07-06 18:11:11 -07:00
collin
adf885d368 Merge branch 'testnet3' of github.com:AleoHQ/leo into testnet3 2023-07-06 15:11:56 -07:00
collin
b70033f9e8 move emojis left 2023-07-06 15:08:15 -07:00
Collin Chin
dd52159f11
Update README.md 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-07-06 12:24:40 -07:00
Collin Chin
e12b030428
Add all contributors 2 (#2477) 
* add more contributors

* add remaining contributors
 2023-07-06 12:23:25 -07:00
Collin Chin
d88b2213cc
Add first row of contributors to README (#2476) 
* add first row of contributors + emojis

* update circle ci status badge
 2023-07-06 11:07:07 -07:00
allcontributors[bot]
c7fa0d032d
docs: add d0cd as a contributor for code, maintenance, and 2 more (#2450) 
* docs: update README.md [skip ci]

* docs: update .all-contributorsrc [skip ci]

---------

Co-authored-by: allcontributors[bot] <46447321+allcontributors[bot]@users.noreply.github.com>
 2023-07-06 10:18:27 -07:00
collin
6731538789 remove readme dup 2023-07-05 23:31:53 -07:00
Collin Chin
189acce158
Add all-contributors for GitHub contributions (#2447) 
* try all contributors

* add commit rules
 2023-07-05 23:28:03 -07:00
collin
a18899f253 chore(leo): bump version for new release 2023-07-05 21:25:34 -07:00
dependabot[bot]
765607a91b
Bump thiserror from 1.0.40 to 1.0.41 (#2442) 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.40 to 1.0.41.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.40...1.0.41)

---
updated-dependencies:
- dependency-name: thiserror
  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 21:18:18 -07:00
dependabot[bot]
be4bc0397f
Bump colored from 2.0.1 to 2.0.4 (#2446) 
Bumps [colored](https://github.com/mackwic/colored) from 2.0.1 to 2.0.4.
- [Release notes](https://github.com/mackwic/colored/releases)
- [Changelog](https://github.com/colored-rs/colored/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mackwic/colored/compare/v2.0.1...v2.0.4)

---
updated-dependencies:
- dependency-name: colored
  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 21:18:10 -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
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
dependabot[bot]
45b6357fe0
Bump clap from 4.3.8 to 4.3.10 (#2437) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.8 to 4.3.10.
- [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.8...v4.3.10)

---
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-07-05 18:06:06 -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
fd162a403b
remove brew update command from ci (#2445) 2023-07-05 15:45:06 -07:00
d0cd
c0b2778e46
Merge pull request #2440 from AleoHQ/dependabot/cargo/testnet3/colored-2.0.1 
Bump colored from 2.0.0 to 2.0.1
 2023-07-04 10:46:54 -04:00
dependabot[bot]
c758c2d0e9
Bump colored from 2.0.0 to 2.0.1 
Bumps [colored](https://github.com/mackwic/colored) from 2.0.0 to 2.0.1.
- [Release notes](https://github.com/mackwic/colored/releases)
- [Changelog](https://github.com/colored-rs/colored/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mackwic/colored/compare/v2.0.0...v2.0.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-07-04 10:22:33 +00: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
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