ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-17 23:02:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,793 Commits 53 Branches 45 Tags 339 MiB
2d00396855
Commit Graph

6793 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
2d00396855 Updeprecate leo build 2024-05-13 13:03:24 -07:00
d0cd
e8baedf73d
Merge pull request #27940 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.201 
Bump serde from 1.0.200 to 1.0.201
 2024-05-13 08:23:50 -07:00
d0cd
73536ea3de
Merge pull request #27942 from AleoHQ/dependabot/cargo/testnet3/zip-1.2.3 
Bump zip from 1.2.1 to 1.2.3
 2024-05-13 08:23:22 -07:00
dependabot[bot]
7745923e57
Bump zip from 1.2.1 to 1.2.3 
Bumps [zip](https://github.com/zip-rs/zip2) from 1.2.1 to 1.2.3.
- [Release notes](https://github.com/zip-rs/zip2/releases)
- [Changelog](https://github.com/zip-rs/zip2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/zip-rs/zip2/compare/v1.2.1...v1.2.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-13 10:06:50 +00:00
dependabot[bot]
fdaaf1046e
Bump serde from 1.0.200 to 1.0.201 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.200 to 1.0.201.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.200...v1.0.201)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-08 10:55:29 +00:00
d0cd
a691b91e4d
Merge pull request #27937 from AleoHQ/dependabot/cargo/testnet3/zip-1.2.1 
Bump zip from 1.1.4 to 1.2.1
 2024-05-07 11:11:41 -04:00
d0cd
a4fe0f3c7a
Merge pull request #27938 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.83 
Bump anyhow from 1.0.82 to 1.0.83
 2024-05-07 11:11:31 -04:00
d0cd
e83280a1f0
Merge pull request #27936 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.60 
Bump thiserror from 1.0.59 to 1.0.60
 2024-05-07 11:11:02 -04:00
dependabot[bot]
5b3b552f29
Bump anyhow from 1.0.82 to 1.0.83 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.82 to 1.0.83.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.82...1.0.83)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-07 10:52:14 +00:00
dependabot[bot]
43ce372e60
Bump zip from 1.1.4 to 1.2.1 
Bumps [zip](https://github.com/zip-rs/zip2) from 1.1.4 to 1.2.1.
- [Release notes](https://github.com/zip-rs/zip2/releases)
- [Changelog](https://github.com/zip-rs/zip2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/zip-rs/zip2/compare/v1.1.4...v1.2.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-07 10:51:47 +00:00
dependabot[bot]
cf365ce268
Bump thiserror from 1.0.59 to 1.0.60 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.59 to 1.0.60.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.59...1.0.60)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-07 10:51:09 +00:00
d0cd
ef99559ce4
Merge pull request #27931 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.200 
Bump serde from 1.0.199 to 1.0.200
 2024-05-06 11:26:48 -04:00
d0cd
4e7501982a
Merge pull request #27932 from AleoHQ/dependabot/cargo/testnet3/zip-1.1.4 
Bump zip from 1.1.3 to 1.1.4
 2024-05-06 11:26:20 -04:00
d0cd
099548c9a0
Merge pull request #27933 from AleoHQ/dependabot/cargo/testnet3/num-traits-0.2.19 
Bump num-traits from 0.2.18 to 0.2.19
 2024-05-06 11:25:58 -04:00
dependabot[bot]
9e830a41bf
Bump num-traits from 0.2.18 to 0.2.19 
Bumps [num-traits](https://github.com/rust-num/num-traits) from 0.2.18 to 0.2.19.
- [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.18...num-traits-0.2.19)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-06 10:30:34 +00:00
dependabot[bot]
1b1a274f38
Bump zip from 1.1.3 to 1.1.4 
Bumps [zip](https://github.com/zip-rs/zip2) from 1.1.3 to 1.1.4.
- [Release notes](https://github.com/zip-rs/zip2/releases)
- [Changelog](https://github.com/zip-rs/zip2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/zip-rs/zip2/compare/v1.1.3...v1.1.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-06 10:30:10 +00:00
dependabot[bot]
1e68a919c0
Bump serde from 1.0.199 to 1.0.200 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.199 to 1.0.200.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.199...v1.0.200)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-02 10:15:09 +00:00
d0cd
ac3f667e19
Merge pull request #27929 from AleoHQ/dependabot/cargo/testnet3/zip-1.1.3 
Bump zip from 1.1.2 to 1.1.3
 2024-05-01 09:09:46 -04:00
dependabot[bot]
218ca350da
Bump zip from 1.1.2 to 1.1.3 
Bumps [zip](https://github.com/zip-rs/zip2) from 1.1.2 to 1.1.3.
- [Release notes](https://github.com/zip-rs/zip2/releases)
- [Changelog](https://github.com/zip-rs/zip2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/zip-rs/zip2/compare/v1.1.2...v1.1.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-05-01 10:39:42 +00:00
d0cd
072689bcb1
Merge pull request #27923 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.199 
Bump serde from 1.0.198 to 1.0.199
 2024-04-29 10:18:27 -04:00
d0cd
866f2d0535
Merge pull request #27924 from AleoHQ/dependabot/cargo/testnet3/zip-1.1.2 
Bump zip from 1.1.1 to 1.1.2
 2024-04-29 10:18:19 -04:00
d0cd
cbb7eaebdd
Merge pull request #27925 from AleoHQ/dependabot/cargo/testnet3/serial_test-3.1.1 
Bump serial_test from 3.1.0 to 3.1.1
 2024-04-29 10:17:45 -04:00
dependabot[bot]
7391ba6501
Bump serial_test from 3.1.0 to 3.1.1 
Bumps [serial_test](https://github.com/palfrey/serial_test) from 3.1.0 to 3.1.1.
- [Release notes](https://github.com/palfrey/serial_test/releases)
- [Commits](https://github.com/palfrey/serial_test/compare/v3.1.0...v3.1.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-29 10:54:19 +00:00
dependabot[bot]
38fd7afb0f
Bump zip from 1.1.1 to 1.1.2 
Bumps [zip](https://github.com/Pr0methean/zip) from 1.1.1 to 1.1.2.
- [Release notes](https://github.com/Pr0methean/zip/releases)
- [Changelog](https://github.com/zip-rs/zip2/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Pr0methean/zip/compare/1.1.1...v1.1.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-29 10:54:05 +00:00
dependabot[bot]
39760e4463
Bump serde from 1.0.198 to 1.0.199 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.198 to 1.0.199.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.198...v1.0.199)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-29 10:53:49 +00:00
d0cd
f1a7004a2f
Merge pull request #27921 from AleoHQ/dependabot/cargo/testnet3/ureq-2.9.7 
Bump ureq from 2.9.6 to 2.9.7
 2024-04-26 08:01:56 -07:00
d0cd
92f842a180
Merge pull request #27922 from AleoHQ/dependabot/cargo/testnet3/self_update-0.40.0 
Bump self_update from 0.39.0 to 0.40.0
 2024-04-26 07:54:11 -07:00
dependabot[bot]
973526fe6e
Bump self_update from 0.39.0 to 0.40.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.39.0 to 0.40.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>
 2024-04-26 11:00:43 +00:00
dependabot[bot]
6a96959dfb
Bump ureq from 2.9.6 to 2.9.7 
Bumps [ureq](https://github.com/algesten/ureq) from 2.9.6 to 2.9.7.
- [Changelog](https://github.com/algesten/ureq/blob/main/CHANGELOG.md)
- [Commits](https://github.com/algesten/ureq/compare/2.9.6...2.9.7)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-26 11:00:25 +00:00
d0cd
1d9197f498
Merge pull request #27911 from AleoHQ/dependabot/cargo/testnet3/serial_test-3.1.0 
Bump serial_test from 3.0.0 to 3.1.0
 2024-04-22 15:19:02 -07:00
d0cd
191b1f30f4
Merge pull request #27910 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.12.4 
Bump reqwest from 0.12.3 to 0.12.4
 2024-04-22 10:00:37 -07:00
dependabot[bot]
5ca93003a8
Bump serial_test from 3.0.0 to 3.1.0 
Bumps [serial_test](https://github.com/palfrey/serial_test) from 3.0.0 to 3.1.0.
- [Release notes](https://github.com/palfrey/serial_test/releases)
- [Commits](https://github.com/palfrey/serial_test/compare/v3.0.0...v3.1.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-22 16:57:12 +00:00
d0cd
6e7bc8a249
Merge pull request #27909 from AleoHQ/dependabot/cargo/testnet3/zip-1.1.1 
Bump zip from 0.6.6 to 1.1.1
 2024-04-22 09:56:21 -07:00
d0cd
d8e1a1a5ba
Merge pull request #27908 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.59 
Bump thiserror from 1.0.58 to 1.0.59
 2024-04-22 09:55:49 -07:00
dependabot[bot]
0697abb177
Bump reqwest from 0.12.3 to 0.12.4 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.12.3 to 0.12.4.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.12.3...v0.12.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-22 10:54:20 +00:00
dependabot[bot]
5ab3d900fa
Bump zip from 0.6.6 to 1.1.1 
Bumps [zip](https://github.com/Pr0methean/zip) from 0.6.6 to 1.1.1.
- [Changelog](https://github.com/Pr0methean/zip/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Pr0methean/zip/commits)

---
updated-dependencies:
- dependency-name: zip
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-22 10:54:04 +00:00
dependabot[bot]
b8ea1f60f5
Bump thiserror from 1.0.58 to 1.0.59 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.58 to 1.0.59.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.58...1.0.59)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-22 10:53:44 +00:00
d0cd
32be479a20
Merge pull request #27906 from AleoHQ/dependabot/cargo/rustls-0.22.4 
Bump rustls from 0.22.3 to 0.22.4
 2024-04-21 20:06:48 -07:00
dependabot[bot]
36a5c38e51
Bump rustls from 0.22.3 to 0.22.4 
Bumps [rustls](https://github.com/rustls/rustls) from 0.22.3 to 0.22.4.
- [Release notes](https://github.com/rustls/rustls/releases)
- [Changelog](https://github.com/rustls/rustls/blob/main/CHANGELOG.md)
- [Commits](https://github.com/rustls/rustls/compare/v/0.22.3...v/0.22.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-04-19 19:51:16 +00:00
d0cd
b44cd04747
Merge pull request #27903 from AleoHQ/feat/branch-in-finalize 
[Feature] Conditional execution in finalize.
 2024-04-19 06:15:58 -07:00
Pranav Gaddamadugu
efd12d5b09 Update codegen to include depth on positions 2024-04-18 20:36:38 -07:00
Pranav Gaddamadugu
3de4d9ec27 Remove debug print 2024-04-18 20:31:00 -07:00
Pranav Gaddamadugu
0eae4f07a1 Update tests; regen expectations 2024-04-18 20:31:00 -07:00
Pranav Gaddamadugu
eb18118b3f Update codegen, fix compiler 2024-04-18 18:21:33 -07:00
Pranav Gaddamadugu
0b07ea6a35 Allow ConditionalStatements in finalize in Destructuring and Flattening 2024-04-18 18:21:02 -07:00
Pranav Gaddamadugu
b419dfdce4 Clippy 2024-04-18 18:20:14 -07:00
Pranav Gaddamadugu
781d7a816a Fix and add test 2024-04-18 18:20:14 -07:00
Pranav Gaddamadugu
c4ceeb0369 Add check in TYC 2024-04-18 18:19:36 -07:00
Pranav Gaddamadugu
4ec7fff552 Add lookup_variable_in_current_scope to SymbolTable 2024-04-18 18:19:36 -07:00
Pranav Gaddamadugu
19a3620590 Add error 2024-04-18 18:19:36 -07:00