Added -try option to freduce pass
authorClifford Wolf <clifford@clifford.at>
Thu, 8 Aug 2013 08:56:27 +0000 (10:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 8 Aug 2013 08:56:27 +0000 (10:56 +0200)
commit6a40e46a042ace384cabd78c7db967a271aadae7
tree02aae8c873def0158a66a08c11e7d604d09b6934
parent8cd153612e92fbbb216d78e19dee105b58148f42
Added -try option to freduce pass
passes/sat/freduce.cc