Added freduce -dump
authorClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 21:06:58 +0000 (22:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 6 Mar 2014 21:06:58 +0000 (22:06 +0100)
commit54d74cf6165ebefc2cf7aee4fab43566362eedb1
treeb376ab62d8a7126698e63799c3b67498c4c7fab6
parentda5859a6744943469d5165724fa79ce243e5d8e3
Added freduce -dump
passes/sat/freduce.cc