Improved freduce performance on const signals
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 23:06:36 +0000 (00:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 23:06:36 +0000 (00:06 +0100)
commitb791af174eb468c983d2b7912a9ed51054d44514
tree83cc85b32942826c3f458dab29d0c8d838286fff
parent10f45b8c8ebe612b5bd489cbecb7e778e63580de
Improved freduce performance on const signals
passes/sat/freduce.cc