d0cd

[Proposal] Consider relaxing shadowing to a warning.

1

Because variables are immutable, a strict stance against shadowing results in redeclarations of the form `foo1`, `foo2`, `foo3`, etc. Shadowing is not a fundamental issue for the Leo language because...

^

This PR adds support for print statements in Leo via core function calls, e.g `Leo::print`. This is done by implementing a `print` instruction in an experimental branch of snarkVM. While...

**For now, this will use the `testing/program-owner-operand+staging` branch of snarkVM until the PRs on snarkVM are ready.** This PR introduces updates needed to support program upgradability. Concretely: - updates to...

This PR addresses feedback from auditors that reviewed program upgradability. Auditors used the following commit: [962d5fd](https://github.com/ProvableHQ/snarkVM/pull/2722/commits/962d5fd0f2055ca3fa1f73234c2eee381307a105) as the reference.

**[NO NEW COMMITS ARE ALLOWED AS OF 5/27/25]** **THE CHANGES MADE IN THIS PR ARE REMOVED BY #2758.** This PR exists for the purpose of keeping audits consistent. This PR...

## Program Upgradability This is the tracking issue for program upgradability. ## Resources - Refer to the [ARC](https://github.com/ProvableHQ/ARCs/discussions/94) for the specification. ## PRs The component PRs listed in their **desired...

[Feature] Introduce `constructor`, `Operand::Checksum` and `Operand::Edition`

7

**[NO NEW COMMITS ARE ALLOWED AS OF 5/27/25]** **DO NOT MERGE WITHOUT AUDIT** ## Motivation This PR introduces: - `constructor`s to programs. Constructors are blocks of code that are run...

**[NO NEW COMMITS ARE ALLOWED AS OF 5/27/25]** **DO NOT MERGE UNTIL BASE IS UPDATED TO `staging`** ## Motivation This PR - supports program upgradability, by allowing programs with constructors...

**[NO NEW COMMITS ARE ALLOWED AS OF 5/27/25]** This PR: - adds the owner `Address` to the `Deployment` and enforces that it exists and is well-formed after the migration height....