projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c5ed8b) | patch
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:28:47 +0000 (13:28 -0700)
commit4d7516f45956c6dd3647dc235e3a29c0c7ecc816
tree4ab2784db5c613a2fcea15ef254fc50a985f23e8tree
parent6c5ed8b660643723015ae87bb9735c506c7aeea7commit | diff
Revert "Cleanup/optimise toposort in write_xaiger"

This reverts commit 1948e7c846ea318d003148974945d917701a4452.

Restores old toposort with optimisations
backends/aiger/xaiger.cc diff | blob | history