More freduce cleanups and bugfixes
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 01:44:05 +0000 (02:44 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 01:44:05 +0000 (02:44 +0100)
commit67d155078d15610f8e6b505fe9c4b8552c2e4141
tree8ee8801be70a2fe90d542dfcc0ee16f1a27ad95d
parenteec2cd1e7850133302654ae8985d8ede9954a569
More freduce cleanups and bugfixes
passes/sat/freduce.cc