[cherry-pick] various small fixes for prover - Githubissues

move-language / move

Apache License 2.0

2.25k stars 684 forks source link

[cherry-pick] various small fixes for prover #934

Closed meng-xu-cs closed 1 year ago

meng-xu-cs commented 1 year ago

This PR is a consolidation of recent fixes on the prover side, including:

878: add support for insert
905: bug fixes related for bitvec ops
924: fix a bug on type instantiation on boogie side