write_xaiger: be more precise with ff_bits, remove ff_aig_map
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 18:21:11 +0000 (10:21 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 31 Dec 2019 18:21:11 +0000 (10:21 -0800)
commit134e70e8e7798dd1e841b8deac2165c9f334ba09
treea184176ff650a61ee37f83eac24481529f3ec6f6
parent3798fa3bead6b944ebdee892c9bf5231559766f1
write_xaiger: be more precise with ff_bits, remove ff_aig_map
backends/aiger/xaiger.cc