search

move-language / move

Apache License 2.0
2.25k stars 684 forks source link

[Move-prover][Cherry-pick] Fix duplicated table function instances in boogie #926

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

cherry-pick #924