Various equiv_* improvements
authorClifford Wolf <clifford@clifford.at>
Fri, 23 Jan 2015 23:16:17 +0000 (00:16 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 23 Jan 2015 23:32:24 +0000 (00:32 +0100)
commit75bbeb828ad266a7614eff2e33d0a8f9fab75ed2
tree852ed6a347f66be5f6d59432bb15fec06c18d0b2
parent43951099cf46b5a0a25bdebb001685a89dfe6c82
Various equiv_* improvements
passes/equiv/equiv_induct.cc
passes/equiv/equiv_make.cc
passes/equiv/equiv_simple.cc
passes/equiv/equiv_status.cc