Michael Benfield

## 🚀 Feature Unit or integration tests for retrieving dependencies and other functionality.

## 🚀 Feature Consider modifying the AdditionalOutput of the ExpressionReconstructor to have a notion of combining outputs.

## 🚀 Feature It's a bit of a chore to do this neatly - would require either explicitly listing all pass names in a clap help message, or modifying how...

Right now the code in `interpreter/src/core_functions.rs` implements hashing and casting functions that are intended to duplicate exactly the results we'd get from SnarkVM. It might be better to simply use...

This can be done by generating Aleo VM code in which the async function call is moved later.

Specifically, 1. Introduce a PlaintextType::ExternalStruct, and allow referring to such a type in code by a Locator. 2. Allow casting to external struct types. 3. Let two struct types be...

If the `dev-print` feature is enabled, these work like `println` and `eprintln`, respectively. This is to give users (in particular Leo) more control of snarkvm's output - currently some print...

## 🚀 Feature Branches can occur in on-chain code, but it's difficult to make use of them. Consider this Leo code in an `async function` involving a mapping `m`. ```...