Get rid of latch_* in write_xaiger
authorEddie Hung <eddie@fpgeh.com>
Mon, 7 Oct 2019 20:09:13 +0000 (13:09 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 7 Oct 2019 20:09:13 +0000 (13:09 -0700)
commit90a954bb9c856cc6934cb0db6e37e5f80ade5b9a
tree80cc708f302c7bc0df520cc1e115e387ab39a519
parentbae3d8705d844912699b0ed502630040ce4efa85
Get rid of latch_* in write_xaiger
backends/aiger/xaiger.cc