Cleanup write_xaiger
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 16:53:14 +0000 (09:53 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 16:53:14 +0000 (09:53 -0700)
commit4be417f6e15ee3f3d8da8cd75d8405b90d5b32ba
treee40cc18aca0eaf37416606a46c808f2e6a899b6e
parentb21d29598a59f0f137a42f00a000b7937dabb402
Cleanup write_xaiger
backends/aiger/xaiger.cc