d0cd

Fix validation for package name.

1

This PR fixes the check on the package name when invoking leo new . Package names are now checked to be valid identifiers, which should correspond to the requirements imposed...

Supports tuples.

1

This PR adds support for tuples in Leo. Note: We opt to error on singleton tuples in order to reduce ambiguity in the code. - [x] Allow tuple expressions in...

Supports initializing `struct`s and `record`s with its members out of order.

1

^

Disallows imports beyond one level of nesting.

1

^

[Bug] Compilation fails on duplicate outputs.

1

## 🐛 Bug Report ## Steps to Reproduce Run this function: ``` program test_output.aleo { transition double_output() -> (u64, u64) { return (0u64, 0u64); } } ``` Find that: ```...

TODO

[Feature] Introduce `BLOCK_SPEND_LIMIT` and `BLOCK_DEPLOYMENT_LIMIT`.

1

This PR, - introduces `BLOCK_SPEND_LIMIT`, the maximum amount in microcredits that can be spent on finalizing executions in a block. - introduces `BLOCK_DEPLOYMENT_LIMIT` the maximum number of aggregate constraints for...

[Test] Execution cost.

1

This PR follows on #2369 with two tests checking that the finalize cost is calculated correctly. The finalize cost of an execution is the finalize cost of its root transition....

This PR supports concatenating two arrays via the `concat` instruction. ``` concat r0 r1 into r2 as [boolean; 8u32]; ``` Note that users must specify the target type. An alternate...

[Test] Invoke `transfer_public` with insufficient fees.

1

This PR introduces a test where `transfer_public` is invoked with insufficient finalize fees and then with sufficient finalize fees.