Michael Benfield

## 🐛 Bug Report This Leo code: ``` program assert_bug.aleo { transition main(a: u32) -> u32 { if a < 12u32 { return 0u32; } assert(false); return 1u32; } }...

## 🚀 Feature See the comment [here](https://github.com/ProvableHQ/leo/pull/28597#discussion_r2127710775). > An alternate UX could be to: > "Broadcasted execution with ...." with mail emoji. > "Confirming the transaction on the network..." with...

[Feature] Tell the user variable and constraint count; maybe other data

3

## 🚀 Feature Either do this automatically when building, or provide the option to do so.

[Feature] Common subexpression elimination

3

## 🚀 Feature This is an optimization we don't currently do, and the new `WriteTransforming` pass will potentially generate a lot of duplicate expressions that could be eliminated.

[Bug] Make an attempt at checking for aborted transactions

2

## 🐛 Bug Report `leo execute --broadcast` won't report to the user if the transaction is aborted. This seems intractable to solve in general, but we could in many cases,...

On Linux, the `reqwest` crate ultimately depends on OpenSSL. The docker image we use for releases on Linux musl no longer has OpenSSL, and the version of OpenSSL used has...

[Feature] Future `leo test` extensions and features

1

## 🚀 Feature In particular more features for scripting test runs.