write_xaiger to support non-bit cell connections, and cope with COs for -O
authorEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 05:00:39 +0000 (21:00 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Sun, 17 Feb 2019 05:00:39 +0000 (21:00 -0800)
commit6a57de90137df146529d84a04f70269382df8795
tree4fa4a97703e9c6b8718a6f939e9b7cfdb38b84ad
parentf853b2f3c15f629ea22a9427e5524bdeebddfb8f
write_xaiger to support non-bit cell connections, and cope with COs for -O
backends/aiger/xaiger.cc