ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-19 17:57:40 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,054 Commits 45 Branches 43 Tags 363 MiB
2b9ba0becf
Commit Graph

2654 Commits

Author SHA1 Message Date
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
dependabot[bot]
ce0f201fe7
Bump serde from 1.0.195 to 1.0.196 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.195 to 1.0.196.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.195...v1.0.196)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-29 10:40:15 +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
9341eaa24b label input external records consistently 2024-01-26 20:10:23 -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
d0cd
7ac50d83ed
Merge pull request #24797 from stanlagermin/fix_typos 
fix typos
 2024-01-22 14:35:56 -08:00
d0cd
d40cb965dd
Merge pull request #27556 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.13.1 
Bump smallvec from 1.12.0 to 1.13.1
 2024-01-22 14:24:10 -08:00
dependabot[bot]
cc76430f9d
Bump smallvec from 1.12.0 to 1.13.1 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.12.0 to 1.13.1.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.12.0...v1.13.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-22 10:41:13 +00:00
dependabot[bot]
2604becc90
Bump regex from 1.10.2 to 1.10.3 
Bumps [regex](https://github.com/rust-lang/regex) from 1.10.2 to 1.10.3.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.10.2...1.10.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-22 10:41:01 +00:00
d0cd
e6d1a23402
Merge branch 'testnet3' into testnet3 
Signed-off-by: d0cd <23022326+d0cd@users.noreply.github.com>
 2024-01-16 12:08:10 +08:00
d0cd
e0aed142fc
Merge pull request #27446 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.12.0 
Bump smallvec from 1.11.2 to 1.12.0
 2024-01-16 09:33:32 +08:00
Pranav Gaddamadugu
f3fbb7e8f4 Remove struct output from compiler 2024-01-15 15:45:08 -08:00
Pranav Gaddamadugu
a38c407ea0 Remove parser components related input files 2024-01-15 15:45:07 -08:00
Pranav Gaddamadugu
61eede48d7 Remove input AST parser 2024-01-15 15:45:07 -08:00
Pranav Gaddamadugu
d1a1b258ec Remove InputAST from compiler 2024-01-15 15:45:07 -08:00
dependabot[bot]
87e9d323b0
Bump smallvec from 1.11.2 to 1.12.0 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.2 to 1.12.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.2...v1.12.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-15 10:05:18 +00:00
d0cd
8cdab3b774
Merge pull request #2881 from AleoHQ/feat/stubs 
[Feature] Support importing local and remote programs.
 2024-01-10 10:01:38 +08:00
dependabot[bot]
22550184de
Bump serde from 1.0.194 to 1.0.195 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.194 to 1.0.195.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.194...v1.0.195)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-08 10:49:32 +00:00
vuittont60
3b346c96d2
Fix typo 2024-01-08 11:27:22 +08:00
evan-schott
28dae76945 CLI fix 2024-01-03 13:13:32 -08:00
evan-schott
902387d639
Merge branch 'testnet3' into feat/stubs 
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2024-01-03 15:22:04 -05:00
d0cd
39a9fa0230
Merge pull request #25889 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.9.0 
Bump tempfile from 3.8.1 to 3.9.0
 2024-01-03 18:21:55 +05:30
dependabot[bot]
fa98671106
Bump serde from 1.0.193 to 1.0.194 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.193 to 1.0.194.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.193...v1.0.194)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2024-01-02 10:29:26 +00:00
dependabot[bot]
573ea489a7
Bump tempfile from 3.8.1 to 3.9.0 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.8.1 to 3.9.0.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.8.1...v3.9.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-12-28 10:12:55 +00:00
stanlagermin
31b4868ed0 fix typos 2023-12-21 14:55:52 +07:00
d0cd
46d539a0b6
Merge pull request #8287 from AleoHQ/cleanup 
Cleanup.
 2023-12-19 11:55:40 -08:00
evan-schott
54c6020afd prevent external calls to .leo programs 2023-12-05 20:01:16 -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
Pranav Gaddamadugu
4730bb0fb4 Clippy 2023-12-04 18:44:03 -08:00
Andrew Rosborough
81b90017c3 #15513 Fix bug with parsing U32<N> from string into usize. 2023-12-04 13:56:51 -05:00
evan-schott
db205441f1 merge program.json and .leo dependencies in compiler.rs 2023-12-01 16:14:55 -08:00
evan-schott
20a4278f56 allow functions to have empty blocks 2023-12-01 16:11:29 -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
bb960bf8b3 Merge dependencies stated in program.json w/ dependencies stated in .leo file 2023-11-30 16:11:38 -08:00
evan-schott
d5cbd8ef2b Modify compiler struct 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
3ff41db376 Default trait for stubs 2023-11-30 16:10:26 -08:00
evan-schott
cd3ae369fc Clippy fix 2023-11-30 16:10:26 -08:00
evan-schott
c94c2c33b6 mapping & nit fix 2023-11-30 15:48:25 -08:00
evan-schott
313a5e45a9 add finalize 2023-11-30 15:47:34 -08:00
evan-schott
11851d4b8d support arrays as inputs 2023-11-30 15:46:48 -08:00
evan-schott
b3f8169186 clippy 2023-11-30 15:46:07 -08:00
evan-schott
ce160d6882 clippy 2023-11-30 11:43:08 -08:00
evan-schott
5ed377e5ef Small TC fix to forbid record inputs to functions 2023-11-30 11:40:03 -08:00
evan-schott
b5a9eed04c From traits to from ProgramCore->AST 2023-11-30 11:39:19 -08:00
evan-schott
aa37895d91 mess 2023-11-30 11:38:39 -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
d1d5abef5b deprecate hardcoded stubs by changing parser 2023-11-30 10:52:38 -08:00
evan-schott
5347570d97 deprecate .leo imports in parser 2023-11-30 10:52:38 -08:00
evan-schott
43fae971d8 allow let a:token.aleo/super_valuable_token = token.aleo/mint_private(); and let a:super_valuable_token = token.aleo/mint_private(); 2023-11-30 10:52:38 -08:00
evan-schott
89bcb3dbdf remove stub tokens 2023-11-30 10:52:38 -08:00
evan-schott
400702e900 add finalize_stub field to function_stub AST 2023-11-30 10:52:38 -08:00
evan-schott
bbf1e01145 clippy 2023-11-30 10:52:16 -08:00
evan-schott
f1a19b2a03 rebase fix 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
393d9bc3d0 Allow parsing of external types declared in stubs for function signatures 2023-11-30 10:52:15 -08:00
evan-schott
ae6fda3b52 Update AST 2023-11-30 10:52:15 -08:00
evan-schott
292f890369 error msgs 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
evan-schott
72cf2e7517 Add "stub" token 2023-11-30 10:52:15 -08:00
Pranav Gaddamadugu
4a0228bcac Update CI rust version 2023-11-27 17:18:48 -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
afc953cd0b Clippy + fmt 2023-11-22 17:34:20 -08:00
Pranav Gaddamadugu
1afa68a66e Remove is_main 2023-11-22 17:33:42 -08:00
d0cd
47e14b8187
Merge pull request #7736 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.193 
Bump serde from 1.0.190 to 1.0.193
 2023-11-22 17:22:27 -08:00
Pranav Gaddamadugu
b9cb62d8aa Update dependencies 2023-11-21 10:28:07 -08:00
dependabot[bot]
56681ab890
Bump serde from 1.0.190 to 1.0.193 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.190 to 1.0.193.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.190...v1.0.193)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-21 02:12:58 +00:00
d0cd
5c6a6315e8
Merge pull request #5085 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.11.2 
Bump smallvec from 1.11.1 to 1.11.2
 2023-11-20 18:10:35 -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
dependabot[bot]
909aaf6904
Bump smallvec from 1.11.1 to 1.11.2 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.1 to 1.11.2.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.1...v1.11.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-11-11 20:19:20 +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
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
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
dependabot[bot]
8ad619b1d4
Bump regex from 1.10.0 to 1.10.2 
Bumps [regex](https://github.com/rust-lang/regex) from 1.10.0 to 1.10.2.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.10.0...1.10.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-17 10:27:53 +00:00
dependabot[bot]
817781b39d
Bump serde from 1.0.188 to 1.0.189 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.188 to 1.0.189.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.188...v1.0.189)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-13 10:05:55 +00:00
dependabot[bot]
51735d773f
Bump regex from 1.9.6 to 1.10.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.6 to 1.10.0.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.9.6...1.10.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-10 10:27:34 +00: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
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
a70a3ffb7a create error for tuple length mismatch 2023-10-04 12:57:09 -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
evan-schott
ef04d31099 beautify 2023-10-04 12:54:36 -07:00
evan-schott
54b880d66e in response to AST passes change 2023-10-04 12:54:36 -07:00
evan-schott
3540699474 Add function to remove variables from ST (so can clear const vars) 2023-10-04 12:54:36 -07:00
evan-schott
18186314f8 constant propagation table to store values of constants (both local and global) 2023-10-04 12:54:36 -07:00
evan-schott
09df202905 updated AST pass templates to account for addition of const in programscope 2023-10-04 12:54:36 -07:00
evan-schott
40f7ce2649 parse constant definition statements 2023-10-04 12:54:36 -07:00
evan-schott
422ba16877 add "const" to AST programscope 2023-10-04 12:54:36 -07:00
evan-schott
38fdb43bd3 recognize "const" as token 2023-10-04 12:54:35 -07:00
dependabot[bot]
95f035196c
Bump regex from 1.9.5 to 1.9.6 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.5 to 1.9.6.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.9.5...1.9.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-02 10:25:10 +00:00
Pranav Gaddamadugu
67cdc56a41 Add support to specify private key in tests; regen expectations 2023-09-28 23:37:17 -04:00
Pranav Gaddamadugu
95b540c253 Fix 2023-09-28 23:37:16 -04:00
Pranav Gaddamadugu
9d3fcc70f1 Connect compiler 2023-09-28 23:34:19 -04:00
Pranav Gaddamadugu
05481218bf Update codegen to be compatible with async 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
3d5495aefa Make program scopes indexable by symbol 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
a53c34388a Update codegen for mappings 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
44658ca917 Rename parent to signer 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
4abec6b5fc Add support for self.parent 2023-09-28 23:34:18 -04:00
Collin Chin
9c20f42d1d
Feat/sha3 (#2604) 
* implement Keccak256 Keccak384 Keccak512 with tests

* implement SHA3_256 SHA3_384 SHA3_512 with tests
 2023-09-22 09:54:14 -07:00
Collin Chin
82b39a81e9
implement Keccak256 Keccak384 Keccak512 with tests (#2603) 2023-09-22 08:31:30 -07:00
dependabot[bot]
f15677c2f6
Bump smallvec from 1.11.0 to 1.11.1 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.0 to 1.11.1.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.0...v1.11.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-21 10:05:48 +00:00
d0cd
edcf90580e
Fix inlining issue (#2581) 2023-09-18 09:52:52 -07:00
evan-schott
c0aa78223c formatting: 2023-09-11 14:40:28 -07:00
evan-schott
c960d7195f add newline 2023-09-11 14:37:36 -07:00
collin
0f2f16877b chore(leo): bump version for new release 2023-09-08 10:18:21 -07:00
dependabot[bot]
347c9682cf
Bump clap from 4.4.1 to 4.4.2 (#2561) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.4.1 to 4.4.2.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v4.4.1...v4.4.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-08 10:09:25 -07:00
evan-schott
aceb20b8d5 Merge remote-tracking branch 'origin/testnet3' into feat/hash-symbol-table 2023-09-07 11:09:02 -07:00
evan-schott
083976052b Fix requested changes 2023-09-07 10:44:29 -07:00
evan-schott
960bb25976 remove print 2023-09-06 17:01:52 -07:00
evan-schott
e149f7d35f clippy changes 2023-09-06 16:02:54 -07:00
evan-schott
444a4214eb run all tests, add optionality for writing symbol tables to json 2023-09-06 16:02:21 -07:00
dependabot[bot]
88569ccd6f
Bump regex from 1.9.4 to 1.9.5 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.4 to 1.9.5.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.9.4...1.9.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-06 22:26:47 +00:00
evan-schott
cc2d54ae2b changes to testing framework 2023-09-05 15:06:28 -07:00
evan-schott
a3e25ebc69 successfully add hashes to expectation file 2023-09-05 15:05:43 -07:00
Pranav Gaddamadugu
964c9617f9 Fix and regen expectations 2023-08-30 14:23:46 -04:00
Pranav Gaddamadugu
c80c782248 Add tests 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
023d94d20f Code gen support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
daf003f728 Tyc support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
1049822979 Add parser support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
e96475b3e2 Update AST 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
b1b947fef5 Support the signature type in the parser 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
25eac3c63b Introduce Token::Signature 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
46e9313e55 Introduce Type::Signature to the AST 2023-08-30 14:05:46 -04:00
d0cd
e180118a30
Merge pull request #2545 from AleoHQ/feat/underscore 
Add support for underscores in numeric literals #2538
 2023-08-28 08:17:22 -04:00
evan-schott
47e881f55e removed inaccurate invalid-literal error 2023-08-25 14:11:22 -07:00
evan-schott
035f763d40 clippy changes 2023-08-25 10:07:42 -07:00
evan-schott
550f43b039 Revisions (underscore to execute test, type checker error msg, spurious type error fix, revised tuple indexing test) 2023-08-25 09:49:53 -07:00
evan-schott
90bb897130 more clippy 2023-08-24 15:58:54 -07:00
evan-schott
f4fee23758 clippy fix 2023-08-24 15:40:00 -07:00
evan-schott
4308d598e2 running all tests and updating expectation files 2023-08-24 15:29:23 -07:00
evan-schott
439d2b29de loop unrolling compatible with underscores 2023-08-24 15:07:00 -07:00
evan-schott
7e6b1d9ddb remove println 2023-08-22 11:29:35 -07:00
evan-schott
c345dbb309 Add support for underscores in literals 2023-08-22 11:10:54 -07:00
collin
439312275a fix more warnings 2023-08-18 16:47:08 -07:00
collin
cf9fbb319d fix noop method call warnings 2023-08-18 16:16:55 -07:00
Pranav Gaddamadugu
7d4a5d3b33 Clippy 2023-08-17 17:52:51 -04:00
Pranav Gaddamadugu
440cced9d8 Cleanup 2023-08-17 17:49:29 -04:00
Pranav Gaddamadugu
661a7cd508 Update compiler pipelines 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
2fe6892645 Use NodeBuilder in FunctionInliner 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
19ba799d21 Use NodeBuilder in LoopUnroller 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
8f63fcdf80 Add NodeBuilder to StaticSingleAssigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
05d38f3777 Use NodeBuilder in Flattener 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
bf25bbae8b Use interior mutability pattern for Assigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
637e091abb Use NodeBuilder in DCE 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
26fffd6746 Add and use NodeBuilder in Parser 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
1af776db9d Add checks for unique node IDs up until type checking 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c3a72132bf Add utility to check that Node IDs are unique 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
a1b5cb1add Add NodeID to AST node constructors 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c2d04bf444 Introduce NodeBuilder 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
93efccc9a7 Add NodeID to Identifier::serialize 2023-08-17 17:22:56 -04:00
d0cd
7cd6e757bf
Merge pull request #2522 from AleoHQ/design/node-id 
[Design] Add `id` to AST nodes.
 2023-08-17 00:26:52 -04:00
collin
11b87229f1 chore(leo): bump version for new release 2023-08-15 14:02:00 -07:00
d0cd
85d9a28ebb
[Test] Add examples to test framework. (#2527) 
* Add tests

* Remove debug print

* Regen expectations

* Remove battleship example
 2023-08-15 11:11:17 -07:00
Pranav Gaddamadugu
036776be1b Fix parser 2023-08-09 20:26:48 -04:00
Pranav Gaddamadugu
7cc3330d98 Add failing test 2023-08-09 20:12:02 -04:00
Pranav Gaddamadugu
cbe79c0e98 Remove unused code 2023-08-09 17:38:13 -04:00
Pranav Gaddamadugu
9125c84cd1 Make StructVariableInitializer an AST node 2023-08-09 17:22:52 -04:00
Pranav Gaddamadugu
6808d90545 Only use NodeID::default() 2023-08-09 17:22:33 -04:00
Pranav Gaddamadugu
3b1bd38ec6 Update passes 2023-08-09 16:58:28 -04:00
Pranav Gaddamadugu
90add44907 WIP update passes 2023-08-09 15:34:39 -04:00
Pranav Gaddamadugu
a819488190 Support NodeID in parser; note that NodeID::default() is a placeholder 2023-08-09 13:09:43 -04:00
Pranav Gaddamadugu
5a1b9efd80 Add NodeID to Literal 2023-08-09 10:46:06 -04:00
Pranav Gaddamadugu
ec3aa4bd75 Update Reconstructor 2023-08-09 10:45:48 -04:00
Pranav Gaddamadugu
2f024c8346 Add id field to AST nodes 2023-08-09 10:13:59 -04:00
Pranav Gaddamadugu
6ab280a935 Add id to Node 2023-08-09 09:30:01 -04:00
collin
7714f55999 chore(leo): bump version for new release 2023-08-08 10:14:56 -07:00
Collin Chin
af1f7f96fb
Implement Leo Account (#2513) 
* implement leo account new --seed

* implement leo account new --write

* implement leo account import --write

* gitignore
 2023-08-07 16:01:33 -07:00
d0cd
b22232c02c
Merge pull request #2516 from AleoHQ/dependabot/cargo/testnet3/regex-1.9.3 
Bump regex from 1.9.1 to 1.9.3
 2023-08-07 09:15:07 -07:00
dependabot[bot]
80867c6956
Bump serde from 1.0.180 to 1.0.183 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.180 to 1.0.183.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.180...v1.0.183)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-07 10:52:12 +00:00