Commit Graph

211 Commits

Author SHA1 Message Date
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
collin
85821b524e chore(leo): bump version for new release 2023-04-19 18:02:15 -07:00
Pranav Gaddamadugu
a613f35c07 Check that finalize block does not return a value 2023-04-18 17:09:22 -07:00
Pranav Gaddamadugu
55c0665c39 Improve error message 2023-04-18 17:08:09 -07:00
Pranav Gaddamadugu
683215d17c Fix error message 2023-04-18 16:53:27 -07:00
Pranav Gaddamadugu
aeab0c59ec Disallow records in finalize contexts 2023-04-18 16:37:45 -07:00
Pranav Gaddamadugu
4870b5badf Fix deprecation warning for increment/decrement statements 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
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
dependabot[bot]
73d363874e
Bump thiserror from 1.0.39 to 1.0.40
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.39 to 1.0.40.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.39...1.0.40)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-31 17:07:33 +00: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
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
dde0fe7676 Move warnings to error crate 2023-03-27 08:30:35 -07:00
Pranav Gaddamadugu
8adc6c76b8 Fmts and clippies 2023-03-26 23:18:03 -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
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]
59b734c4a6
Bump thiserror from 1.0.38 to 1.0.39
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.38 to 1.0.39.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.38...1.0.39)

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

Signed-off-by: dependabot[bot] <support@github.com>
2023-03-06 11:01:41 +00:00
Collin Chin
0a738d4994 chore(leo): bump version for new release 2023-02-17 22:30:17 -05: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
a6663db934 Typechecking for structs with members 2023-02-10 21:31:10 -08:00
d0cd
b3ef6f79c3 Add typechecking for inline functions 2023-02-08 17:09:17 -08:00
d0cd
44eb8ad453 Cleanup; add bytecode to expected outputs 2023-02-08 11:27:29 -08:00
d0cd
f06b83c7f4 Implement check for cyclic call graph 2023-02-05 12:46:20 -08:00
d0cd
d91233f06e Implement cycle detection for structs and records 2023-02-05 12:46:20 -08:00
ljedrz
b20308f049
chore: update the license headers (#2252)
Signed-off-by: ljedrz <ljedrz@gmail.com>
2023-02-02 14:27:06 -08:00
d0cd
b044b002a7 Check that functions cannot output records 2023-01-18 12:33:04 -08:00
dependabot[bot]
6df6bb5ef9
Bump serde from 1.0.150 to 1.0.152 (#2221) 2023-01-03 19:26:07 -08:00
dependabot[bot]
5644a1e184
Bump thiserror from 1.0.37 to 1.0.38 (#2215) 2023-01-03 19:25:26 -08:00
dependabot[bot]
65fc26704b
Bump backtrace from 0.3.66 to 0.3.67 (#2212) 2023-01-03 19:16:42 -08:00
collin
d7b1b9ca56 chore(leo): bump version for new release 2022-12-12 19:31:56 -05:00
d0cd
48a1f0590b
Rename console.assert* to assert*. (#2205)
* Add assert statements to AST

* Add support in passes

* Add parser support

* Add tyc support

* Add support for assert statements in the remaining passes

* Fix examples, tests, and regen expectations

* Fmt

* Regen expectations
2022-12-06 21:56:48 -08:00
collin
1e01a3a686 chore(leo): bump version for new release 2022-11-30 13:40:52 -08:00
Collin Chin
3f2df5389c
use cargo workspace for dependencies (#2195) 2022-11-30 13:31:33 -08:00
dependabot[bot]
6413f3ecac
Bump serde from 1.0.147 to 1.0.148 (#2189)
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.147 to 1.0.148.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.147...v1.0.148)

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

Signed-off-by: dependabot[bot] <support@github.com>

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
2022-11-29 16:37:19 -08:00
collin
f6f286ac8a pull testnet3, regen tests 2022-11-23 02:37:57 -05:00
collin
9e28591589 pull testnet3, regen tests 2022-11-23 01:56:37 -05:00
collin
ac4c38d921 clippy 2022-11-23 01:28:33 -05:00
collin
801df56f9c pull testnet3, regen tests 2022-11-22 20:55:12 -05:00
Collin Chin
40e56f8613
Merge pull request #2100 from AleoHQ/feat/tuple
Supports tuples.
2022-11-22 20:49:25 -05:00
d0cd
9370c11a2b Implement fix 2022-11-16 10:24:29 -08:00
d0cd
ae329c521b Deprecate (async) finalize statements 2022-11-15 13:18:39 -08:00
collin
44bca58821 chore(leo): bump version for new release 2022-11-14 18:56:09 -08:00
d0cd
25a15aae75 Remove unused error 2022-11-12 11:28:03 -08:00
d0cd
b16926449c Support private mode in parser and passes 2022-11-12 09:53:20 -08:00