Added "miter -equiv -flatten"
authorClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 13:23:08 +0000 (15:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 13:33:07 +0000 (15:33 +0200)
commit4c38ec1cc81c95b79fbd717dafd9f79708c123e8
tree21a1d1a3f5c1546e2942ea653a617747da0b6457
parent8d04ca7d22e375fbe075dee1f189669046ee8906
Added "miter -equiv -flatten"
passes/sat/miter.cc
tests/share/generate.py