Jason Eckhardt

[Feature Request] Any function can be an entry point-- support in forthcoming Solana transaction interface.

4

Currently for compiler bring-up/debug, we only support a single entry point specified as the script main. In Move, however, any module function can be an entry point. This is specified...

Future: Investigate using analysis/optimization framework from move-prover.

4

Currently we use only the baseline move-prover generated stackless bytecode as input to our translation. However, the prover also provides a number of potentially useful analyses and optimizations that could...

This issue captures some thoughts regarding future/incremental improvements to our generated LLVM IR (from offline discussions with Jan). We currently generate LLVM IR in the simplest and most conservative manner...

The compiler has progressed to the point where we will soon need to interface with the Solana data model-- the persistent store as Move calls it. That work has not...

# 🐛 Bug We would like to reference values from `move_native::target_defs`, such as `ACCOUNT_ADDRESS_LENGTH`, but we seem to be getting the wrong `target_defs` compiled in on `move-mv-llvm-compiler` for Solana. Unfortunately,...