ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 13:56:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,228 Commits 44 Branches 42 Tags 359 MiB
all-contributors/add-88Mikhail88
Commit Graph

6228 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
evan-schott
ae86532e96 Construct CPT during pass without messing up loop unrolling 2023-10-04 12:54:36 -07:00
evan-schott
22c592b9bf moved bounds checking form TC to LU 2023-10-04 12:54:36 -07:00
evan-schott
a7ee073f07 add constants to CPT and remove constant definitions from ST and AST 2023-10-04 12:54:36 -07:00
evan-schott
c249786f7c tweak loop unrolling so that build constant propagation table simultaneously 2023-10-04 12:54:36 -07:00
evan-schott
be1866f582 propagate constants by substituting constants for there values 2023-10-04 12:54:36 -07:00
evan-schott
9aa2553b29 move bounds checking to loop unrolling pass 2023-10-04 12:54:36 -07:00
evan-schott
ef04d31099 beautify 2023-10-04 12:54:36 -07:00
evan-schott
54b880d66e in response to AST passes change 2023-10-04 12:54:36 -07:00
evan-schott
3540699474 Add function to remove variables from ST (so can clear const vars) 2023-10-04 12:54:36 -07:00
evan-schott
18186314f8 constant propagation table to store values of constants (both local and global) 2023-10-04 12:54:36 -07:00
evan-schott
09df202905 updated AST pass templates to account for addition of const in programscope 2023-10-04 12:54:36 -07:00
evan-schott
40f7ce2649 parse constant definition statements 2023-10-04 12:54:36 -07:00
evan-schott
422ba16877 add "const" to AST programscope 2023-10-04 12:54:36 -07:00
evan-schott
38fdb43bd3 recognize "const" as token 2023-10-04 12:54:35 -07:00
evan-schott
4b01d41d05 more errors 2023-10-04 12:54:35 -07:00
evan-schott
98f25b8ece add loop unrolling errors 2023-10-04 12:54:35 -07:00
evan-schott
eb606c90a0 all test expectations change since AST's are different now (added consts to ProgramScope) 2023-10-04 12:54:31 -07:00
evan-schott
02422ca411 folder of compiler tests for constants definitions and usages 2023-10-04 12:47:09 -07:00
evan-schott
3d573f046e add constants to execution test 2023-10-04 12:47:09 -07:00
Pranav Gaddamadugu
94084c3136 Pin to snarkVM 0.15.0 2023-10-04 10:25:53 -04:00
d0cd
5262e0c743
Merge pull request #2636 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.11.22 
Bump reqwest from 0.11.21 to 0.11.22
 2023-10-04 10:04:21 -04:00
dependabot[bot]
9502c959b0
Bump reqwest from 0.11.21 to 0.11.22 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.21 to 0.11.22.
- [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.11.21...v0.11.22)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-04 10:29:32 +00:00
d0cd
23acf1aa9b
Merge pull request #2634 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.11.21 
Bump reqwest from 0.11.20 to 0.11.21
 2023-10-03 10:40:27 -04:00
d0cd
6bb16ffa77
Merge pull request #2635 from AleoHQ/dependabot/cargo/testnet3/toml-0.8.2 
Bump toml from 0.8.1 to 0.8.2
 2023-10-03 10:40:04 -04:00
dependabot[bot]
528850b626
Bump toml from 0.8.1 to 0.8.2 
Bumps [toml](https://github.com/toml-rs/toml) from 0.8.1 to 0.8.2.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.8.1...toml-v0.8.2)

---
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-03 10:31:49 +00:00
dependabot[bot]
5aa9788c5c
Bump reqwest from 0.11.20 to 0.11.21 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.20 to 0.11.21.
- [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.11.20...v0.11.21)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-03 10:31:34 +00:00
Frank Chen
e80b5b6c20 add simplified template for leo badge 2023-10-02 15:14:15 -07:00
d0cd
b65fe5ce56
Merge pull request #2633 from AleoHQ/dependabot/cargo/testnet3/regex-1.9.6 
Bump regex from 1.9.5 to 1.9.6
 2023-10-02 10:56:03 -04:00
dependabot[bot]
95f035196c
Bump regex from 1.9.5 to 1.9.6 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.5 to 1.9.6.
- [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.5...1.9.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-02 10:25:10 +00:00
d0cd
1bfcfacbd4
Merge pull request #2626 from AleoHQ/feat/reset-updates 
[Update] Supports new features for the upcoming network reset.
 2023-09-29 16:28:34 -04:00
d0cd
1d71bc5396
Merge pull request #2629 from AleoHQ/dependabot/cargo/testnet3/clap-4.4.6 
Bump clap from 4.4.5 to 4.4.6
 2023-09-29 07:36:30 -04:00
dependabot[bot]
a526ce4556
Bump clap from 4.4.5 to 4.4.6 
Bumps [clap](https://github.com/clap-rs/clap) from 4.4.5 to 4.4.6.
- [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.4.5...v4.4.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-29 10:06:37 +00:00
Pranav Gaddamadugu
67cdc56a41 Add support to specify private key in tests; regen expectations 2023-09-28 23:37:17 -04:00
Pranav Gaddamadugu
bfb1e67ebe Regen expectations 2023-09-28 23:37:17 -04:00
Pranav Gaddamadugu
f5e15d57e4 Regen expecttions 2023-09-28 23:37:17 -04:00
Pranav Gaddamadugu
95b540c253 Fix 2023-09-28 23:37:16 -04:00
Pranav Gaddamadugu
9d3fcc70f1 Connect compiler 2023-09-28 23:34:19 -04:00
Pranav Gaddamadugu
05481218bf Update codegen to be compatible with async 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
3d5495aefa Make program scopes indexable by symbol 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
a53c34388a Update codegen for mappings 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
44658ca917 Rename parent to signer 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
4abec6b5fc Add support for self.parent 2023-09-28 23:34:18 -04:00
d0cd
e820f7fae2
Merge pull request #2613 from AleoHQ/dependabot/cargo/testnet3/clap-4.4.5 
Bump clap from 4.4.4 to 4.4.5
 2023-09-28 20:10:05 -04:00
d0cd
970c4f965a
Merge pull request #2617 from AleoHQ/dependabot/cargo/testnet3/toml-0.8.1 
Bump toml from 0.8.0 to 0.8.1
 2023-09-28 20:09:41 -04:00
d0cd
5c7a85f401
Merge pull request #2618 from AleoHQ/dependabot/cargo/testnet3/sha2-0.10.8 
Bump sha2 from 0.10.7 to 0.10.8
 2023-09-28 20:09:26 -04:00
d0cd
b5f1726248
Merge pull request #2621 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.49 
Bump thiserror from 1.0.48 to 1.0.49
 2023-09-28 20:09:10 -04:00
dependabot[bot]
f948f0bf24
Bump thiserror from 1.0.48 to 1.0.49 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.48 to 1.0.49.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.48...1.0.49)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-27 10:27:55 +00:00
dependabot[bot]
288f518b85
Bump sha2 from 0.10.7 to 0.10.8 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.10.7 to 0.10.8.
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.7...sha2-v0.10.8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-27 10:27:13 +00:00
dependabot[bot]
c15defe395
Bump toml from 0.8.0 to 0.8.1 
Bumps [toml](https://github.com/toml-rs/toml) from 0.8.0 to 0.8.1.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.8.0...toml-v0.8.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-27 10:27:03 +00:00
Collin Chin
3c3543f6c6
Update release.yml 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-09-26 13:11:05 -07:00