Performance improvements in freduce pass
authorClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 20:29:28 +0000 (21:29 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 3 Jan 2014 20:29:28 +0000 (21:29 +0100)
commit10f45b8c8ebe612b5bd489cbecb7e778e63580de
treec5b96f8eefb3a0214ca20a8d8e8c10997639c0c7
parentc44e1bec6d2a549abb9d56c98e41c23bc698e12d
Performance improvements in freduce pass
passes/sat/freduce.cc