Cleanup/optimise toposort in write_xaiger
authorEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:13:17 +0000 (10:13 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 17:13:17 +0000 (10:13 -0700)
commit1948e7c846ea318d003148974945d917701a4452
tree26584abdc75c205661d129c996b2c57358e3d7dc
parenta5425a2f7e86f63ee4df84d15bf58fb9f006b465
Cleanup/optimise toposort in write_xaiger
backends/aiger/xaiger.cc