ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-08-15 16:50:22 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,228 Commits 43 Branches 41 Tags 346 MiB
all-contributors/add-Clasik32
Commit Graph

6228 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
allcontributors[bot]
de8d524276
docs: create .all-contributorsrc [skip ci] 2023-11-08 14:57:23 +00:00
allcontributors[bot]
834f1d915e
docs: update README.md [skip ci] 2023-11-08 14:57:22 +00:00
d0cd
10e2a8b3a2
Merge pull request #3266 from AleoHQ/dependabot/cargo/testnet3/snarkvm-0.16.8 
Bump snarkvm from 0.16.6 to 0.16.8
 2023-11-06 13:22:16 -05:00
a h
36ea0eb9f9
Merge pull request #3751 from christianwooddell/testnet3 
Add contributors to README
 2023-11-06 10:10:28 -08:00
Christian Wooddell
4c0dda4b03 add contributors to readme 2023-11-06 08:46:10 -08:00
Christian Wooddell
6ba7f3afa6 add contributors to readme 2023-11-05 11:48:11 -08:00
dependabot[bot]
988009f2ca
Bump snarkvm from 0.16.6 to 0.16.8 
Bumps [snarkvm](https://github.com/AleoHQ/snarkVM) from 0.16.6 to 0.16.8.
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.16.6...v0.16.8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-02 10:06:37 +00:00
a h
230c901f96
Merge pull request #3206 from christianwooddell/add-people-readme 
add contributors to readme
 2023-11-01 09:14:48 -07:00
Christian Wooddell
06050ade41 add contributors to readme 2023-10-31 13:28:41 -07:00
Christian Wooddell
9ed5cc8c24 add contributors to readme 2023-10-31 13:19:12 -07:00
d0cd
6966415b74
Merge pull request #3155 from AleoHQ/dependabot/cargo/testnet3/toml-0.8.6 
Bump toml from 0.8.5 to 0.8.6
 2023-10-30 10:29:22 -04:00
dependabot[bot]
c07a78ae41
Bump toml from 0.8.5 to 0.8.6 
Bumps [toml](https://github.com/toml-rs/toml) from 0.8.5 to 0.8.6.
- [Commits](https://github.com/toml-rs/toml/compare/toml-v0.8.5...toml-v0.8.6)

---
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-30 10:19:40 +00:00
d0cd
63b75dbf74
Merge pull request #2888 from AleoHQ/feat/array 
[Feature] Arrays.
 2023-10-27 19:59:18 -04:00
Pranav Gaddamadugu
54566c04c2 Regen expectations 2023-10-27 19:05:12 -04:00
Pranav Gaddamadugu
bdd0f781e4 Regen expectations 2023-10-27 18:54:58 -04: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
630508c4ae Update tests 2023-10-27 18:54:58 -04:00
Pranav Gaddamadugu
144ef44b8c Update errors 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