ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-04 16:27:40 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,250 Commits 55 Branches 45 Tags 335 MiB
b9cb62d8aa
Commit Graph

6250 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
evan-schott
e9d55796a2 Apply suggestions from code review 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:35 -07:00
Pranav Gaddamadugu
70e0c26ad1 Fix 2023-10-04 13:05:35 -07:00
d0cd
184c306688 Update compiler/passes/src/function_inlining/inline_program.rs 
Signed-off-by: d0cd <pranavsaig@gmail.com>
 2023-10-04 13:05:35 -07:00
d0cd
f6a8f46dee Update compiler/passes/src/function_inlining/inline_program.rs 
Signed-off-by: d0cd <pranavsaig@gmail.com>
 2023-10-04 13:05:35 -07:00
d0cd
70e055773d Update compiler/passes/src/function_inlining/inline_program.rs 
Signed-off-by: d0cd <pranavsaig@gmail.com>
 2023-10-04 13:05:35 -07:00
evan-schott
f3f98ac30e formatting 2023-10-04 13:05:35 -07:00
evan-schott
c37eeaae03 constant time lookups 2023-10-04 13:05:35 -07:00
evan-schott
909289c83c Update compiler/parser/src/parser/file.rs 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:34 -07:00
evan-schott
141bca35c4 Update compiler/passes/src/function_inlining/inline_program.rs 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:34 -07:00
evan-schott
3d0be6b04d Update compiler/passes/src/function_inlining/function_inliner.rs 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:34 -07:00
evan-schott
5d194fdf83 Update errors/src/errors/type_checker/type_checker_error.rs 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:34 -07:00
evan-schott
0348e613c6 change AST 2023-10-04 13:05:32 -07:00
evan-schott
52bb785ff4 fixes 2023-10-04 13:00:58 -07:00
evan-schott
0d1ed9671e clippy 2023-10-04 13:00:58 -07:00
evan-schott
0a2ea03701 rebase 2023-10-04 13:00:52 -07:00
evan-schott
5afbb44d8c create test 2023-10-04 12:58:45 -07:00
evan-schott
c8b60e85ae add more code coverage 2023-10-04 12:57:54 -07:00
evan-schott
a70a3ffb7a create error for tuple length mismatch 2023-10-04 12:57:09 -07:00
evan-schott
b8321a7cb4 create test 2023-10-04 12:54:36 -07:00
evan-schott
dcf03dd393 simplify 2023-10-04 12:54:36 -07:00
evan-schott
24c88795fe fixes 2023-10-04 12:54:36 -07:00
evan-schott
c5464db066 formatting & test expectation 2023-10-04 12:54:36 -07:00
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