d0cd

^

^

This ARC proposes a mechanism for upgrading programs. - The tracking discussion can be found here: https://github.com/ProvableHQ/ARCs/discussions/94 - The tracking issue can be found here: https://github.com/ProvableHQ/snarkVM/issues/2654

[NOT A BUG] As asked [here](https://github.com/janestreet/magic-trace/wiki/Supported-platforms,-programming-languages,-and-runtimes#supported-virtualization-environments), magic trace works on Ubuntu 24.04 AMI on c5.metal. I had to make a modification to the tutorial and add debug symbols to the...

[Feature] Support program upgrades.

2

This PR supports program upgradability in Leo. To that end we: - introduce a new command `leo upgrade` which is used to deploy the upgrade to the network. - supports...

^ Note: CI issues won't be fixed until the caches are refreshed.

^

[Proposal] Consider an alternative approach to `.env` files.

1

`.env` configurations are unwieldy especially when you have multiple roles. While `PRIVATE_KEY`s should be hidden, it doesn't make much sense to have the `network` or `endpoint` an a hidden config....

[Feature] Sum types.

1

Sum types are a desirable programming paradigm. The tricky bit is how to encode them. Naively as a struct with all variants, but is there a better way?

[Bug] `leo add` should check that a network dependency exists before importing it.

2

^