write_xaiger to not write latches, CO/PO fixes
authorEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 19:09:13 +0000 (11:09 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Wed, 20 Feb 2019 19:09:13 +0000 (11:09 -0800)
commitef60ca171743292e88457684d53d632c680210e2
treeb66b7587526cf02e8be1b9922e2339fe38526e4b
parent45ddd9066e03ce7b076bcc634c6231c6b3a5ed3d
write_xaiger to not write latches, CO/PO fixes
backends/aiger/xaiger.cc