write_xaiger to use scratchpad for stats; cleanup abc9
authorEddie Hung <eddie@fpgeh.com>
Mon, 30 Dec 2019 23:35:33 +0000 (15:35 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 30 Dec 2019 23:35:33 +0000 (15:35 -0800)
commit07355729341e5104cf83210af280cb0cc6e8c7de
tree95a45d22175e8d35b599f9eae40372aa704bd3e0
parentfc4b8b89912c14f42b04a7c9f2ce350db3ce7c0b
write_xaiger to use scratchpad for stats; cleanup abc9
backends/aiger/xaiger.cc
passes/techmap/abc9.cc