Improvements in equiv_make, equiv_induct
authorClifford Wolf <clifford@clifford.at>
Thu, 22 Jan 2015 20:23:01 +0000 (21:23 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 22 Jan 2015 20:23:01 +0000 (21:23 +0100)
commit1cb4c925d03de289f37a40b6eceb57ced8dce295
tree88a08f99571ae64a4456f1b791d26b946920d55f
parent5707ba22c10048bef7d5ad81d090e3dd31d779a4
Improvements in equiv_make, equiv_induct
passes/equiv/equiv_induct.cc
passes/equiv/equiv_make.cc