Revert "Cleanup/optimise toposort in write_xaiger"
authorEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 20:28:47 +0000 (13:28 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 14 Jun 2019 20:29:36 +0000 (13:29 -0700)
commit9b55e69755a00a46c97104f344c0ee7065a8f13c
treedc62e5d1de5c5c5acc9ad6f8d3c418cdf293358e
parent746f70a9ce163f921b0e55b21042c59769bbcba9
Revert "Cleanup/optimise toposort in write_xaiger"

This reverts commit 1948e7c846ea318d003148974945d917701a4452.

Restores old toposort with optimisations
backends/aiger/xaiger.cc