search

move-language / move

Apache License 2.0
2.25k stars 684 forks source link

[Move-prover] Fix duplicated table function instances in boogie #924

Closed rahxephon89 closed 1 year ago

rahxephon89 commented 1 year ago

Motivation

Close the issue here.