Add log_push()/log_pop() inside write_xaiger
authorEddie Hung <eddie@fpgeh.com>
Sat, 22 Jun 2019 00:16:38 +0000 (17:16 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 22 Jun 2019 00:16:38 +0000 (17:16 -0700)
commit588196c473f79cf2e221e86f1177d363a1849dcc
tree7bf551e931a98e673fe1f435a9d718494e62e894
parentfaa2d6fc1c4bc10cda96c2dc3721df209d2d2117
Add log_push()/log_pop() inside write_xaiger
backends/aiger/xaiger.cc