ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 02:07:38 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,256 Commits 45 Branches 43 Tags 363 MiB
9050bc8da2
Commit Graph

608 Commits

Author SHA1 Message Date
d0cd
9050bc8da2
Merge pull request #8446 from AleoHQ/fix/codegen-arrays 
Fix codegen for array init expressions
 2023-11-23 12:06:37 -08:00
Pranav Gaddamadugu
b9cb62d8aa Update dependencies 2023-11-21 10:28:07 -08:00
dependabot[bot]
ec6be21abf
Bump itertools from 0.11.0 to 0.12.0 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.11.0 to 0.12.0.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.11.0...v0.12.0)

---
updated-dependencies:
- dependency-name: itertools
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-15 10:11:57 +00:00
Pranav Gaddamadugu
34794f94ea Fix codegen for array init expressions 2023-11-08 14:16:42 -08:00
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
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
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
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
eb420b6544 Stubs for arrays access expressions in passes 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
c3b92d1a4d Add Array type to Type 2023-10-27 18:54:56 -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
Pranav Gaddamadugu
4cc1a17920 Implement fix 2023-10-25 14:09:24 -04:00
Collin Chin
eb12c7e475 chore(leo): bump version for new release 2023-10-19 21:02:05 -07: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
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
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