ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,567 Commits 53 Branches 44 Tags 331 MiB
a0cbb5490f
Commit Graph

629 Commits

Author SHA1 Message Date
dependabot[bot]
8ee5f2180d
Bump num-traits from 0.2.17 to 0.2.18 
Bumps [num-traits](https://github.com/rust-num/num-traits) from 0.2.17 to 0.2.18.
- [Changelog](https://github.com/rust-num/num-traits/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-traits/compare/num-traits-0.2.17...num-traits-0.2.18)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-02-08 10:19:10 +00:00
dependabot[bot]
1a7b1d17e0
Bump itertools from 0.12.0 to 0.12.1 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.12.0 to 0.12.1.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.12.0...v0.12.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-30 10:10:55 +00:00
evan-schott
a0d53a74d5 style 2024-01-26 21:46:32 -08:00
evan-schott
a0d1e128a1 enforce that all functions have at least one transition function (a snarkvm requirement) 2024-01-26 21:42:43 -08:00
evan-schott
f38ed40f0d Don't add input variables from stub function and finalize signatures to symbol table 2024-01-26 20:00:27 -08:00
evan-schott
51e3ad9f78 relax external struct shadowing 2023-12-05 20:00:56 -08:00
evan-schott
8ea5e3afec fix stub shadowing issue & name mismatch issue 2023-12-05 20:00:18 -08:00
evan-schott
94b3290681 remove leftover traces of previous import system 2023-12-01 16:09:59 -08:00
evan-schott
3695ac649e clippy 2023-11-30 16:11:38 -08:00
evan-schott
184c2f583b Print imports in post order 2023-11-30 16:11:33 -08:00
evan-schott
b3f8169186 clippy 2023-11-30 15:46:07 -08:00
evan-schott
5ed377e5ef Small TC fix to forbid record inputs to functions 2023-11-30 11:40:03 -08:00
evan-schott
88b85f894d deprecate .leo imports in build system & codegen 2023-11-30 11:31:38 -08:00
evan-schott
8796e8c921 clippy 2023-11-30 10:52:38 -08:00
evan-schott
004cc7cc70 typecheck that finalize_stub 2023-11-30 10:52:38 -08:00
evan-schott
bbf1e01145 clippy 2023-11-30 10:52:16 -08:00
evan-schott
bd2e3de733 Allow imports & Variant::Function functions in stubs 2023-11-30 10:52:16 -08:00
evan-schott
b85c5b285e Make compatible w/ LU and CG passes 2023-11-30 10:52:16 -08:00
evan-schott
5441c23a51 TC stubs 2023-11-30 10:52:15 -08:00
evan-schott
878bbc8f35 Add stub structs & functions to ST 2023-11-30 10:52:15 -08:00
evan-schott
cf7baa0132 Update AST to include FunctionStub and Stub 2023-11-30 10:52:15 -08:00
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