ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-30 13:42:24 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,282 Commits 53 Branches 44 Tags 331 MiB
31b4868ed0
Commit Graph

6282 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
4b9a96ee50 Update passes 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
d3209dae9c Cleanup 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
5b2e73d419 Refactor TupleTyple 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
072ab7b930 Change PositiveNumber to NonzeroNumber 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
7e471b7748 Add type checking for arrays 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
22766a4359 Fix test cases 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
13e17044fd Parse array init expressions 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
2edc7aa92f Parse array access expressions 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
eb420b6544 Stubs for arrays access expressions in passes 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
c94acdebbd Support array access expressions in AST and visitors 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
f18953144f Stubs for arrays in passes 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
5f75ae8c49 Support array expressions in AST and visitors 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
e372710d22 Introduce ArrayExpression 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
d8a7f74508 Add support for parsing the array type 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
0792191dde Add test cases 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
c3b92d1a4d Add Array type to Type 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
25b7d5cfac Rename types::Tuple to types::TupleType 2023-10-27 18:54:56 -04:00
Pranav Gaddamadugu
3fda5aab62 Introduce Array type 2023-10-27 18:54:56 -04:00
d0cd
a5f164c1ed
Merge pull request #3095 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.8.1 
Bump tempfile from 3.8.0 to 3.8.1
 2023-10-27 15:24:32 -04:00
d0cd
35a913327c
Merge pull request #3097 from AleoHQ/fix/codegen-for-futures 
[Fix] Codegen for futures.
 2023-10-27 15:24:15 -04:00
Pranav Gaddamadugu
dc4668b50d Refactor 2023-10-27 10:07:08 -04:00
Pranav Gaddamadugu
8f78d08209 Implement fix 2023-10-27 09:52:19 -04:00
dependabot[bot]
140e903302
Bump tempfile from 3.8.0 to 3.8.1 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.8.0 to 3.8.1.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-27 10:18:32 +00:00
d0cd
f27531f973
Merge pull request #3087 from AleoHQ/dependabot/cargo/testnet3/toml-0.8.5 
Bump toml from 0.8.4 to 0.8.5
 2023-10-26 18:26:32 -04:00
d0cd
d1fbd5bc0b
Merge pull request #3064 from AleoHQ/fix/codegen-for-futures 
[Fix] Codegen for futures.
 2023-10-26 18:26:06 -04:00
dependabot[bot]
72acdf4631
Bump toml from 0.8.4 to 0.8.5 
Bumps [toml](https://github.com/toml-rs/toml) from 0.8.4 to 0.8.5.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.8.4...toml-v0.8.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-10-26 18:40:08 +00:00
d0cd
c172b13f9d
Merge pull request #3067 from AleoHQ/deps/snarkvm-0.16.5 
[Dependencies] snarkVM 0.16.6
 2023-10-26 14:38:52 -04:00
Pranav Gaddamadugu
a41aad6c2b Update to 0.16.6 2023-10-26 12:26:20 -04:00
Pranav Gaddamadugu
63343a2842 Update deps 2023-10-25 22:05:30 -04:00
Pranav Gaddamadugu
9d11d05173 Regen expectations 2023-10-25 16:10:44 -04:00
Pranav Gaddamadugu
4cc1a17920 Implement fix 2023-10-25 14:09:24 -04:00
d0cd
04c198a3e4
Merge pull request #2964 from mishrasamiksha/testnet3 
Added Back to Top button
 2023-10-23 11:35:52 -04:00
d0cd
a5e39dc508
Merge pull request #3027 from AleoHQ/dependabot/cargo/testnet3/color-backtrace-0.6.1 
Bump color-backtrace from 0.6.0 to 0.6.1
 2023-10-23 11:35:24 -04:00
d0cd
7ac9f46163
Merge pull request #3028 from AleoHQ/dependabot/cargo/testnet3/self_update-0.39.0 
Bump self_update from 0.38.0 to 0.39.0
 2023-10-23 11:35:01 -04:00
d0cd
78ec1935dd
Merge pull request #3029 from AleoHQ/dependabot/cargo/testnet3/snarkvm-0.16.2 
Bump snarkvm from 0.16.1 to 0.16.2
 2023-10-23 11:34:32 -04:00
dependabot[bot]
d4384e7d42
Bump snarkvm from 0.16.1 to 0.16.2 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.16.1 to 0.16.2.
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.16.1...v0.16.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-23 10:06:07 +00:00
dependabot[bot]
847084500b
Bump self_update from 0.38.0 to 0.39.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.38.0 to 0.39.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>
 2023-10-23 10:05:40 +00:00
dependabot[bot]
678f8fa177
Bump color-backtrace from 0.6.0 to 0.6.1 
Bumps [color-backtrace](https://github.com/athre0z/color-backtrace) from 0.6.0 to 0.6.1.
- [Changelog](https://github.com/athre0z/color-backtrace/blob/master/CHANGELOG.md)
- [Commits](https://github.com/athre0z/color-backtrace/compare/v0.6.0...v0.6.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-23 10:05:01 +00:00
Samiksha Mishra
2d884f2b25
Added Back to Top button 
Added back to top button in the readme file to go to the beginning of the page.


Signed-off-by: Samiksha Mishra <38784342+mishrasamiksha@users.noreply.github.com>
 2023-10-20 12:34:48 +05:30
Collin Chin
eb12c7e475 chore(leo): bump version for new release 2023-10-19 21:02:05 -07:00
d0cd
3548158d2f
Merge pull request #2924 from AleoHQ/fix/2918 2023-10-19 23:56:07 -04:00
Pranav Gaddamadugu
bef1d5cf2f Regen expectations 2023-10-19 22:42:01 -04:00
Pranav Gaddamadugu
e4fbf30088 clippy 2023-10-19 22:42:01 -04:00
Pranav Gaddamadugu
e34caf1458 Implement fix 2023-10-19 22:42:01 -04:00
d0cd
662cc7da31
Merge pull request #2960 from AleoHQ/deps/snarkvm-0.16.1 
[Dependencies] snarkVM 0.16.1
 2023-10-19 22:31:47 -04:00
Pranav Gaddamadugu
934ae42b09 Regen expectations 2023-10-19 21:44:05 -04:00
Pranav Gaddamadugu
fc5b1f517d Update deps 2023-10-19 21:43:30 -04:00
d0cd
9a6944ce33
Merge pull request #2937 from AleoHQ/dependabot/cargo/rustix-0.38.19 
Bump rustix from 0.38.17 to 0.38.19
 2023-10-19 12:26:56 -04:00
d0cd
4fded45cc9
Merge pull request #2947 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.40 
Bump tracing from 0.1.39 to 0.1.40
 2023-10-19 12:26:38 -04:00
dependabot[bot]
9361741d73
Bump tracing from 0.1.39 to 0.1.40 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.39 to 0.1.40.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.39...tracing-0.1.40)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-19 10:50:03 +00:00