search

move-language / move

Apache License 2.0
2.25k stars 684 forks source link

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

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 further add prover support on the storage model.