[Heapster] Simplify translation of `exists x.eq(y)` perms#1422

Merged

mergify[bot] merged 8 commits intomasterfrom heapster-no-eq-sigs

Aug 25, 2021

+212-277

Commits on Aug 16, 2021

first attempt at translating exists x.eq(y) to just x
m-yac
committed

Commits on Aug 17, 2021

fix incorrect calls to typeTransTupleType
m-yac
committed

Commits on Aug 24, 2021

Merge branch 'master' into heapster-no-eq-sigs
Eddy Westbrook
committed

Commits on Aug 25, 2021

updated xor_swap proofs to work with the new translation of bitvector types
Eddy Westbrook
committed