[cherry-pick][move-prover] better support for custom natives

move-language / move

Apache License 2.0

2.25k stars 684 forks source link

[cherry-pick][move-prover] better support for custom natives #913

Closed meng-xu-cs closed 1 year ago

meng-xu-cs commented 1 year ago

This is to cherry-pick #909 which was landed on main. This is to provide a consistent view on custom borrow natives throughout the bytecode transformation workflow.