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

2375 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
34f2dd6f62 Clippy 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
b3c1723d5c Add tests and fixes 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
0dcd156513 Cleanup 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
59dfeb9d57 Regen expectations 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
6756320fd8 Regen expectations 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
49a0c7a469 Support codegen for arrays 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
c80aee091a Update DCE 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
044933c0fb Update loop unrolling 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
08d3997813 Update TYC 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
8ca1de3951 Refactor Reconstructor 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
a3c0892ffd Add Destructuring pass to the compiler 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
b1096f1036 Introduce destructuring pass 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
992f0b83de Redesign flattening 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
cacc2154ea Update flattener 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
f494a891c4 Add TypeTable to compiler 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
b36966db8f Clean up passes 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
3b720001d6 Update SSA pass 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
17cdda2227 Refactor TypeTable 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
64550555ee Ensure type consistency during function inlining 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
c193b1d2ab Ensure type consistency during loop unrolling 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
edcc1a6fce Update RenameTable 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
3e59672c34 Cleanup 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
93aca5c103 Ensure type consistency in SSA pass 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
a3446d3aea Introduce TypeTable 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
621a2f2a95 Add expressions to the type map 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
2fc155798e Add the type map to the symbol table 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
d1a5283513 WIP 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
7e5a6e9755 WIP flattening for arrays 2023-10-27 18:54:57 -04:00
Pranav Gaddamadugu
82ad245aff WIP flattening 2023-10-27 18:54:57 -04:00
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
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
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
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
Pranav Gaddamadugu
4cc1a17920 Implement fix 2023-10-25 14:09:24 -04:00