write_xaiger to treat abc_flop boxes as boxff for ABC
authorEddie Hung <eddie@fpgeh.com>
Sat, 15 Jun 2019 16:07:03 +0000 (09:07 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 15 Jun 2019 16:07:03 +0000 (09:07 -0700)
commit357d36ef4fcc63db8c14b86dbeb10059030cc602
treea65b2858f929917cf1bb06bb9c65650b551cf03c
parentbf312043d47c5ca99e26e25d153b49b3d3603ea4
write_xaiger to treat abc_flop boxes as boxff for ABC
backends/aiger/xaiger.cc