AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-09-21 12:07:56 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,702 Commits 45 Branches 43 Tags 365 MiB
305e00b473
Commit Graph

2504 Commits

Author SHA1 Message Date
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
dependabot[bot]
35300fb248
Bump regex from 1.9.1 to 1.9.3 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.1 to 1.9.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.9.1...1.9.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-07 10:52:02 +00:00
dependabot[bot]
0db0810519
Bump serde from 1.0.175 to 1.0.180 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.175 to 1.0.180.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.175...v1.0.180)

---
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-01 10:35:55 +00:00
dependabot[bot]
1c1614fb31
Bump serde from 1.0.174 to 1.0.175 (#2503) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.174 to 1.0.175.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.174...v1.0.175)

---
updated-dependencies:
- dependency-name: serde
  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-07-26 14:18:10 -07:00
collin
d336be0b7b chore(leo): bump version for new release 2023-07-24 10:51:44 -07:00
dependabot[bot]
b70ebe5f86
Bump num-traits from 0.2.15 to 0.2.16 (#2499) 
Bumps [num-traits](https://github.com/rust-num/num-traits) from 0.2.15 to 0.2.16.
- [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.15...num-traits-0.2.16)

---
updated-dependencies:
- dependency-name: num-traits
  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-07-21 17:07:00 -07:00
dependabot[bot]
95f989d881
Bump serde from 1.0.171 to 1.0.174 (#2497) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.171 to 1.0.174.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.171...v1.0.174)

---
updated-dependencies:
- dependency-name: serde
  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-07-21 17:06:28 -07:00
dependabot[bot]
0fcf74f52a
Bump tempfile from 3.6.0 to 3.7.0 (#2496) 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.6.0 to 3.7.0.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.6.0...v3.7.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-21 17:06:13 -07:00
collin
6a7748e5fe chore(leo): bump version for new release 2023-07-19 18:17:31 -07:00
Collin Chin
d44457fc32
[Feature] Implement leo execute (#2491) 
* bump snarkvm rev

* update default gitignore

* impl leo execute

* bump snarkvm 0.14.5

* modify examples wip

* update run.sh examples

* impl env file

* clippy warning

* fix auction example

* fix auction example env

* generate new private key for new env - tests failing due to env not found err

* commit error changes

* Fix tests; clippy

* Get examples working

* leo build checks that build dir is well formed; clippy

* Clean up

* Update examples/README.md

Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* do not commit .avm files

* use snarkvm commands

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Pranav Gaddamadugu <pranav@aleo.org>
Co-authored-by: d0cd <pranavsaig@gmail.com>
 2023-07-19 18:04:09 -07:00
dependabot[bot]
59355c0ae8
Bump serde from 1.0.168 to 1.0.171 (#2488) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.168 to 1.0.171.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.168...v1.0.171)

---
updated-dependencies:
- dependency-name: serde
  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-07-17 10:02:07 -07:00
dependabot[bot]
e199fc1366
Bump serde from 1.0.166 to 1.0.168 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.166 to 1.0.168.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.166...v1.0.168)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-07-10 22:07:40 +00:00
dependabot[bot]
6e29afb400
Bump regex from 1.8.4 to 1.9.1 (#2481) 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.4 to 1.9.1.
- [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.8.4...1.9.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-10 15:05:56 -07:00
dependabot[bot]
0c062b5164
Bump smallvec from 1.10.0 to 1.11.0 (#2472) 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.10.0 to 1.11.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.10.0...v1.11.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-07-10 15:04:24 -07:00
collin
a18899f253 chore(leo): bump version for new release 2023-07-05 21:25:34 -07:00
dependabot[bot]
26c7dec5b6
Bump serde from 1.0.164 to 1.0.166 (#2441) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.164 to 1.0.166.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.164...v1.0.166)

---
updated-dependencies:
- dependency-name: serde
  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-07-05 18:06:33 -07:00
d0cd
d92d48e4a5
[Fix] Fix issues related to flattening. (#2439) 
* Implement fix

* Regen expectations

* Update AST printing for functions

* Fix code generation when there are no output operands

* Fix flattener

* Add additional tests

* Regen expectations

* Fmt

* Regen expectations
 2023-07-05 15:45:15 -07:00
Collin Chin
b690a62676
impl Mapping::contains, Mapping::remove (#2436) 
* impl Mapping::contains, Mapping::remove

* regen expectations

* Update compiler/passes/src/type_checking/checker.rs

Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
 2023-06-29 17:04:55 -07:00
collin
9fccf015d7 chore(leo): bump version for new release 2023-06-28 21:09:44 -07:00
d0cd
b236918df4
[Feature] Support ChaCha::rand_* (#2433) 
* Add tests for ChaCha::rand*

* Add Chacha::rand* to AST, tyc, and codegen

* Add lottery example

* Regen expectations

* Add check asserting that command is only used in finalize block

* Update example and related CI
 2023-06-28 21:02:50 -07:00
d0cd
c373b898c4
Merge pull request #2427 from AleoHQ/feat/group-to-coordinate 
[Feature] Support `to_x_coordinate` for `group`s.
 2023-06-28 11:32:57 -04:00
Pranav Gaddamadugu
1fbb228092 Add comment 2023-06-28 10:09:33 -04:00
Pranav Gaddamadugu
8062693f3d Support method calls for group coordinates 2023-06-23 21:03:11 -04:00
Pranav Gaddamadugu
8b4552efd5 Fix implementation 2023-06-23 20:35:42 -04:00
Pranav Gaddamadugu
9b7a4ba456 WIP associated function syntax for group::to_*_coordinate 2023-06-23 20:22:03 -04:00
collin
80b0976276 chore(leo): bump version for new release 2023-06-23 17:19:25 -07:00
d0cd
07d26ea43f
[Feature] Casting via the as operator. (#2426) 
* Revert "Revert WIP"

This reverts commit 5cce8b4a0e.

* Update tyc

* Add parse, compile, and execute tests

* Regen expectations
 2023-06-23 17:09:15 -07:00
dependabot[bot]
1025bd965d
Bump itertools from 0.10.5 to 0.11.0 (#2424) 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.5 to 0.11.0.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.10.5...v0.11.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-06-23 17:07:51 -07:00
Pranav Gaddamadugu
5cce8b4a0e Revert WIP 2023-06-23 10:24:10 -04:00
Pranav Gaddamadugu
ccb4c0f38f Implement type checking for cast expressions 2023-06-23 10:10:10 -04:00
Pranav Gaddamadugu
c80f9c317c Handle cast expressions in SSA and CodeGen passes 2023-06-23 09:36:40 -04:00
Pranav Gaddamadugu
9677682580 Support CastExpressions in the parser 2023-06-23 00:24:01 -04:00
Pranav Gaddamadugu
72c6dcd343 Add CastExpression to the AST 2023-06-23 00:15:59 -04:00
Pranav Gaddamadugu
6ef4779925 Add the as symbol 2023-06-22 23:57:09 -04:00
Collin Chin
4a0ee1d9d8
[Feature] implement block.height command (#2420) 
* implement initial block.height

* commit.height parsing and code generation

* patch self.caller tests

* add error for self.caller in a finalize context

* fix test
 2023-06-20 16:36:11 -07:00
collin
7741f5b0c4 chore(leo): bump version for new release 2023-06-15 22:38:02 -07:00
collin
f5867a4fe4 chore(leo): bump version for new release 2023-06-15 22:26:19 -07:00
Collin Chin
e5ae160d1a
Implement new hash and commit functions (#2415) 
* refactor hash -> hash_to_field

* refactor commit -> commit_to_field

* implement commit_to_address

* implement hash_to_address

* update hash and commit examples

* implement hash_to_scalar

* update tests

* implement bhp hash to integer variants

* implement bhp pedersen and poseidon integer variants

* Update compiler/passes/src/type_checking/checker.rs

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Update compiler/passes/src/type_checking/checker.rs

Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* fix pedersen hash type checks

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: Alessandro Coglio <coglio@kestrel.edu>
 2023-06-15 19:55:03 -07:00
Collin Chin
d83c4be330
Implement Mapping::get_or_use (#2413) 
* get_or_init -> get_or_use

* use mapping get_or_use in examples

* fix codegen for Mapping::get_or_use

* fix tests for Mapping::get_or_use

* fix warnings, update snarvm rev

* bump circle rust img v1.70

* fix codegen

* update snarkvm rev and regen tests

* Update compiler/parser/src/parser/expression.rs

Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

* Delete program.json

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>

---------

Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
Co-authored-by: d0cd <pranavsaig@gmail.com>
 2023-06-13 12:09:33 -07:00
dependabot[bot]
e5df1278bf
Bump serde from 1.0.163 to 1.0.164 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.163 to 1.0.164.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.163...v1.0.164)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-06-08 10:59:19 +00:00
Collin Chin
4e71f60cb4
Implement additional features to the "group" element type (#2394) 
* add new hash and commit symbols

* pedersen commitment methods return fields

* use snarkvm rev a451d91, impl commit_to_group.bhp256

* implement bhp commit to group variants

* implement bhp hash_to_group variants

* implement pedersen commit_to_group and hash_to_scalar variants

* implement poseidon hash_to_group and hash_to_scalar variants

* remove hash_many symbol

* fix tests

* regen test expectations
 2023-06-07 13:09:08 -07:00
dependabot[bot]
72bf5acaf6
Bump tempfile from 3.5.0 to 3.6.0 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.5.0 to 3.6.0.
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/CHANGELOG.md)
- [Commits](https://github.com/Stebalien/tempfile/compare/v3.5.0...v3.6.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-06-07 10:59:50 +00:00
dependabot[bot]
5ac1589280
Bump regex from 1.8.3 to 1.8.4 (#2406) 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.3 to 1.8.4.
- [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.8.3...1.8.4)

---
updated-dependencies:
- dependency-name: regex
  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-06-06 11:39:40 -07:00
collin
52dfc097c5 chore(leo): bump version for new release 2023-05-31 20:37:17 -07:00
Collin Chin
42d97d3d89
implement group::GEN Leo syntax (#2401) 
* implement group::GEN Leo syntax

* revert unrelated test changes

* move new errors to bottom of file to keep previous error codes consistent
 2023-05-31 16:05:56 -07:00
dependabot[bot]
2569c3195c
Bump regex from 1.8.2 to 1.8.3 (#2396) 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.2 to 1.8.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.8.2...1.8.3)

---
updated-dependencies:
- dependency-name: regex
  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-05-30 20:33:37 -07:00
Collin Chin
ed734e878e
Bump/snarkvm v0.11.4 (#2399) 2023-05-30 19:50:01 -07:00
dependabot[bot]
c639735f47
Bump criterion from 0.4.0 to 0.5.0 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.4.0 to 0.5.0.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.4.0...0.5.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-05-24 10:59:58 +00:00
Collin Chin
2e1a9fc979 chore(leo): bump version for new release 2023-05-23 15:02:30 -07:00
dependabot[bot]
30518e0e50
Bump regex from 1.8.1 to 1.8.2 (#2391) 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.1 to 1.8.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.8.1...1.8.2)

---
updated-dependencies:
- dependency-name: regex
  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-05-23 11:36:33 -07:00
collin
1c5de6fb80 bump snarkvm v0.11.2 2023-05-12 14:42:15 -07:00
dependabot[bot]
36c94ac62d
Bump serde from 1.0.162 to 1.0.163 (#2378) 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.162 to 1.0.163.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.162...v1.0.163)

---
updated-dependencies:
- dependency-name: serde
  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-05-12 14:12:12 -07:00
d0cd
d0c29ce8e0
[Update] snarkvm 0.11.0 (#2377) 
* Remove gates from tests

* Remove Finalize test namespace

* Remove gates from examples

* Remove gates from compiler

* Regen expectations

* Add test that gates is allowed as a standard field of a record

* Update Rust version in CI

* Add check for MAX_MAPPINGS
 2023-05-10 21:32:37 -07:00
dependabot[bot]
6a5e48c225
Bump serde from 1.0.160 to 1.0.162 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.160 to 1.0.162.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.160...1.0.162)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-05-05 10:57:56 +00:00
dependabot[bot]
a083bac720
Bump regex from 1.8.0 to 1.8.1 
Bumps [regex](https://github.com/rust-lang/regex) from 1.8.0 to 1.8.1.
- [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/commits/1.8.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-24 10:59:53 +00:00
dependabot[bot]
1a6b6a2eeb
Bump regex from 1.7.3 to 1.8.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.7.3 to 1.8.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/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-21 10:57:59 +00:00
collin
85821b524e chore(leo): bump version for new release 2023-04-19 18:02:15 -07:00
Pranav Gaddamadugu
4b64fbe03a Fix error message 2023-04-18 17:22:59 -07:00
Pranav Gaddamadugu
98574495ff Update check 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
6a660c4ceb Remove gates check 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
581a671e31 Update maximum number of transitions 2023-04-18 17:14:01 -07:00
Pranav Gaddamadugu
a613f35c07 Check that finalize block does not return a value 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
0b99135962 Update Mapping::get_or to Mapping::get_or_init 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
76693533b0 Update code gen for Mapping::set 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
e2749eebb9 Update snarkVM dep 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
f9851e1b97 Add support for associated methods on mappings 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
cff63e9918 Address feedback; remove leo-core 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
7bef7c401f Regen expectations 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
be3c58cf53 Update codegen 2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu
1a129ac375 Add test framework for finalize contexts 2023-04-18 16:59:32 -07:00
Pranav Gaddamadugu
a0b00ac78c Update examples; fmt 2023-04-18 16:59:07 -07:00
Pranav Gaddamadugu
bb5c793bb3 Fix code gen 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
8426f824ff Fix passes 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
da7537344b Rename Mapping::put to Mapping::set 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
aeab0c59ec Disallow records in finalize contexts 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
d4eb6441d7 Enable warnings in compiler output 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
37fe6f5bb1 Enable warnings for failing tests 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
ebe7f7ab00 DCE marks mapping core operations as necessary 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4870b5badf Fix deprecation warning for increment/decrement statements 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4f27c92f15 Remove Increment, Decrement statements from AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
4ee06d4342 Deprecate increment and decrement in language 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
30c9800e01 Check that mapping operations are invoked within a finalize block 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
15187edfcf Add codegen for core mapping ops 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
defb657e5a Implement tyc for mapping operations 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
10875c7edb Add core mapping functions to AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
34fb0d1815 Add tyc for core functions 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
d4230705e0 Remove CoreInstruction; leaving leo_core as a placeholder 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
0bc04791b6 Add CoreFunction to AST 2023-04-18 16:21:40 -07:00
Pranav Gaddamadugu
cbd0663fa7 Add comment 2023-04-12 17:41:54 -07:00
Collin Chin
68eabc38ae simplify logic 2023-04-12 15:52:10 -07:00
Collin Chin
09aa6ce63a fix dependency nits 2023-04-12 15:41:57 -07:00
Pranav Gaddamadugu
59f418f5d0 Fix issue in codegen 2023-04-12 12:38:44 -07:00
Pranav Gaddamadugu
64548699a9 Fmt 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
98bbcacebb Update compiler test framework 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
acc358bbb4 Update build config 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
77ee8910a0 Refactor CompilerOptions 2023-04-12 12:38:43 -07:00
Pranav Gaddamadugu
d26a5f693d DCE eliminates expr statements that are not function calls 2023-04-12 12:38:43 -07:00
d0cd
c55ec9894e
Merge pull request #2347 from AleoHQ/fix/issue-2346 
[Fix] Fixes variable renaming for inlined functions.
 2023-04-12 12:27:54 -07:00
d0cd
d039543c47
Merge pull request #2344 from AleoHQ/fix/issue-2343 
[Fix] Fix parsing for negative `scalar`, `field`, and `group` literals.
 2023-04-12 08:47:49 -07:00
Pranav Gaddamadugu
e460ce1c8e Support negative group literals 2023-04-11 10:44:26 -07:00
Pranav Gaddamadugu
0f8838c870 Fix bug 2023-04-11 10:11:08 -07:00
dependabot[bot]
5ea92392e5
Bump serde from 1.0.159 to 1.0.160 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.159 to 1.0.160.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.159...v1.0.160)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-04-11 10:59:01 +00:00
Pranav Gaddamadugu
b193d511ca Update test and regen expectations 2023-04-09 19:58:08 -07:00
Pranav Gaddamadugu
9181b23347 Fix parser 2023-04-09 19:53:29 -07:00
Pranav Gaddamadugu
fd22fb9ec4 Fix bug 2023-04-05 09:13:37 -07:00
Pranav Gaddamadugu
2b010b6992 Update snarkVM to 0.9.15, aleo to 0.3.6 2023-03-31 19:50:35 -07:00
d0cd
c74772cfac
Merge pull request #2328 from AleoHQ/fix/issue-2324 
[Fix] Fixes unwrapping panic when unwrapping `lookup_struct` in `ProgramVisitor::visit_function`
 2023-03-31 16:06:51 -07:00
d0cd
5cc6a06e2d
Merge pull request #2329 from AleoHQ/fix/issue-2325 
[Fix] Panic: called Option::unwrap() on a Err value (Literal::Integer to Value)
 2023-03-31 16:05:33 -07:00
d0cd
3aba61a1c8
Merge pull request #2332 from AleoHQ/dependabot/cargo/testnet3/tempfile-3.5.0 
Bump tempfile from 3.4.0 to 3.5.0
 2023-03-31 10:03:58 -07:00
d0cd
9934d329f9
Merge pull request #2330 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.159 
Bump serde from 1.0.158 to 1.0.159
 2023-03-31 10:03:33 -07:00
Pranav Gaddamadugu
61cf227f58 Fmt 2023-03-31 10:02:33 -07:00
d0cd
8996002055
Merge pull request #2326 from AleoHQ/dependabot/cargo/testnet3/regex-1.7.3 
Bump regex from 1.7.2 to 1.7.3
 2023-03-31 10:00:50 -07:00
Pranav Gaddamadugu
2646b7b28b Fix bug 2023-03-31 09:58:25 -07:00
Pranav Gaddamadugu
e3ce9c785a Address feedback 2023-03-31 09:54:57 -07:00
dependabot[bot]
08c203103f
Bump tempfile from 3.4.0 to 3.5.0 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.4.0 to 3.5.0.
- [Release notes](https://github.com/Stebalien/tempfile/releases)
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/NEWS)
- [Commits](https://github.com/Stebalien/tempfile/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-29 11:00:43 +00:00
dependabot[bot]
c88dceb565
Bump serde from 1.0.158 to 1.0.159 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.158 to 1.0.159.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.158...v1.0.159)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-28 11:00:03 +00:00
Pranav Gaddamadugu
ee3e225f92 Fix bug 2023-03-27 10:09:12 -07:00
dependabot[bot]
bce4755dac
Bump regex from 1.7.2 to 1.7.3 
Bumps [regex](https://github.com/rust-lang/regex) from 1.7.2 to 1.7.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.7.2...1.7.3)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-27 11:01:02 +00:00
Pranav Gaddamadugu
8adc6c76b8 Fmts and clippies 2023-03-26 23:18:03 -07:00
dependabot[bot]
ef2c730410
Bump regex from 1.7.1 to 1.7.2 
Bumps [regex](https://github.com/rust-lang/regex) from 1.7.1 to 1.7.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.7.1...1.7.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-03-22 11:00:44 +00:00
d0cd
3dc56f5058
Merge pull request #2278 from AleoHQ/feat/dead-code-elimination 
[Feature] Dead Code Elimination
 2023-03-21 09:47:32 -07:00
dependabot[bot]
7a34414013
Bump serde from 1.0.155 to 1.0.158 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.155 to 1.0.158.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.155...v1.0.158)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-21 11:00:53 +00:00
d0cd
abd25b0896
Merge pull request #2295 from AleoHQ/feat/toggle-dce 
Add an option to (dis/en)able DCE in the compiler.
 2023-03-20 08:53:56 -07:00
d0cd
c5f7c01f02 Add an option to enable DCE in the compiler 2023-03-13 09:28:51 -07:00
d0cd
1ea7dad842 Remove redundant function in compiler 2023-03-13 08:51:48 -07:00
dependabot[bot]
8b7c5685d9
Bump serde from 1.0.153 to 1.0.155 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.153 to 1.0.155.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.153...v1.0.155)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-13 11:01:07 +00:00
dependabot[bot]
a80e558ce2
Bump serde from 1.0.152 to 1.0.153 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.152 to 1.0.153.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.152...v1.0.153)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-03-08 11:00:39 +00:00
dependabot[bot]
a34b69fe2f
Bump tempfile from 3.3.0 to 3.4.0 
Bumps [tempfile](https://github.com/Stebalien/tempfile) from 3.3.0 to 3.4.0.
- [Release notes](https://github.com/Stebalien/tempfile/releases)
- [Changelog](https://github.com/Stebalien/tempfile/blob/master/NEWS)
- [Commits](https://github.com/Stebalien/tempfile/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-02-27 11:01:44 +00:00
d0cd
a21141e0e2 Cleanup test utilities 2023-02-21 17:17:54 -08:00
d0cd
6c61296f78 Add targeted DCE test; cleanup 2023-02-21 17:13:54 -08:00
d0cd
0e6aa4729b Clippy 2023-02-21 17:13:53 -08:00
d0cd
d634662e97 Fmt 2023-02-21 17:13:53 -08:00
d0cd
da64d487ec Fix DCE impl 2023-02-21 17:09:22 -08:00
d0cd
dfc03db67e Connect dead code elimination pass to compiler stages, CLI, and tests 2023-02-21 17:09:22 -08:00
d0cd
ec91d5655b Prototype dead code elimination 2023-02-21 17:09:22 -08:00
d0cd
707cd3cfce AST cleanup 2023-02-21 17:09:22 -08:00
d0cd
4b3b4a83ff Initial scaffolding for dead code elimination 2023-02-21 17:09:22 -08:00
d0cd
c8f6089be3
[Fix] Excludes inline functions from produced bytecode. (#2277) 
* Remove codegen for inline functions

* Regen expectations
 2023-02-21 14:17:11 -08:00
Collin Chin
0a738d4994 chore(leo): bump version for new release 2023-02-17 22:30:17 -05:00
d0cd
0522c2a08f
Removes unused or deprecated keywords from the grammar. (#2273) 
* Remove unused/deprecated symbols

* Remove tokens

* Update parser

* Update tests

* Regen expectations
 2023-02-17 19:25:11 -08:00
d0cd
f6d043c1f0
Fixes issues with function inlining from imported programs. (#2271) 
* TYC for calls to external inline functions

* Fix issue in function inlining

* Fix issue in codegen

* Remove redundant reordering of functions

* Clippy

* Update compiler/passes/src/function_inlining/inline_program.rs

Signed-off-by: Collin Chin <collin@aleo.org>

---------

Signed-off-by: Collin Chin <collin@aleo.org>
Co-authored-by: Collin Chin <collin@aleo.org>
 2023-02-16 22:13:54 -08:00
d0cd
067dadb12b
Merge pull request #2263 from AleoHQ/feat/record-visibility 
[Feature] Visibilities for record members.
 2023-02-14 16:38:54 -08:00
d0cd
cf22bc75bb Address feedback 2023-02-14 16:30:12 -08:00
d0cd
ea1607ca81 Test framework removes group nonces 2023-02-10 22:55:59 -08:00
d0cd
f269a3c609 Add codegen support for records with visibilities 2023-02-10 21:35:37 -08:00
d0cd
a6663db934 Typechecking for structs with members 2023-02-10 21:31:10 -08:00
d0cd
5001f3abde Add parser support for visibilities on structs 2023-02-10 21:21:29 -08:00
d0cd
47fa89b012 Refactor mode 2023-02-10 21:21:06 -08:00
d0cd
05ffefbb79 Add mode to Member 2023-02-10 21:07:44 -08:00
d0cd
55bae5a71b Fmt 2023-02-10 17:44:01 -08:00
d0cd
1dd5887518 Clippy and cleanup 2023-02-10 16:50:59 -08:00