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,122 Commits 44 Branches 42 Tags 359 MiB
redesign/ssa-with-definitions
Commit Graph

6122 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
4778fe6405 WIP 2023-10-10 20:25:06 -04:00
Pranav Gaddamadugu
b8a41e483d Refactor AssignmentRename to DefinitionRenamer 2023-10-10 19:28:57 -04:00
Pranav Gaddamadugu
6b412b0129 Refactor Assigner to Definer 2023-10-10 19:20:53 -04:00
Pranav Gaddamadugu
426e1122cf Swap DefinitionStatement and AssignmentStatement in function inlining 2023-10-10 18:30:11 -04:00
Pranav Gaddamadugu
41a6574fb4 Swap DefinitionStatement and AssignmentStatement in dead code elimination 2023-10-10 18:15:03 -04:00
Pranav Gaddamadugu
6984b6f3fd Swap DefinitionStatement and AssignmentStatement in codegen 2023-10-10 18:03:45 -04:00
d0cd
ab8ff9bf6c
Merge pull request #2694 from AleoHQ/contributors 
[Documentation] Add a separate CONTRIBUTORS.md file.
 2023-10-09 12:38:41 -04:00
d0cd
47bbd40aa2
Merge pull request #2719 from AleoHQ/dependabot/cargo/testnet3/snarkvm-0.15.3 
Bump snarkvm from 0.15.2 to 0.15.3
 2023-10-09 11:52:44 -04:00
dependabot[bot]
7965322d79
Bump snarkvm from 0.15.2 to 0.15.3 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.15.2 to 0.15.3.
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.15.2...v0.15.3)

---
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-09 10:28:30 +00:00
d0cd
3de4c75078
Merge pull request #2637 from AleoHQ/deps/snarkvm-0.15.0 
[Dependencies] Update to snarkVM v0.15.2
 2023-10-07 21:32:57 -04:00
Pranav Gaddamadugu
14853e6547 Regen expectations 2023-10-07 20:46:57 -04:00
Pranav Gaddamadugu
cad0c2381f Update to snarkvm-0.15.2 2023-10-07 19:58:44 -04:00
Pranav Gaddamadugu
17a09ea228 Add .all-contributorsrc file 2023-10-06 21:16:43 -04:00
Pranav Gaddamadugu
3d1717733d Add CONTRIBUTORS.md file 2023-10-06 21:16:18 -04:00
d0cd
3ebe15a2b3
Merge pull request #2657 from codingnirvana/testnet3 
Fixing a bug in examples/TicTacToe
 2023-10-05 12:13:05 -04:00
Pranav Gaddamadugu
b9fbc71680 Update to 0.15.1 2023-10-05 10:24:14 -04:00
d0cd
ba058aa782
Merge pull request #2644 from AleoHQ/frank-issuetemplate 
Add a Contributor Badge Issue Template
 2023-10-05 09:59:02 -04:00
Rajesh Muppalla
19e421b650
Fixing a bug in examples/TicTacToe (#1) 
Signed-off-by: Rajesh Muppalla <1348422+codingnirvana@users.noreply.github.com>
 2023-10-05 14:43:55 +05:30
d0cd
bd9714ae1a
Merge pull request #2606 from AleoHQ/feat/global-constants 
Feat/global constants
 2023-10-04 21:17:20 -04:00
evan-schott
e55035c568 increase test coverage 2023-10-04 16:46:11 -07:00
evan-schott
6da2753b83 small edits to make tests pass 2023-10-04 13:27:25 -07:00
evan-schott
7f7f92b508 remove duplicate reconstruct_const functions 2023-10-04 13:05:35 -07:00
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