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:17:29 +0000 (17:17 -0700)
commit7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185
treebab1ec23f8f802bd73c9c08a3eed5a3220147896
parent65c1199acd52f90de86106652dbbca86d4ac5ebc
Add log_push()/log_pop() inside write_xaiger
backends/aiger/xaiger.cc