Merge pull request #1587 from YosysHQ/revert-1558-eddie/xaiger_cleanup
authorEddie Hung <eddie@fpgeh.com>
Fri, 20 Dec 2019 21:03:48 +0000 (13:03 -0800)
committerGitHub <noreply@github.com>
Fri, 20 Dec 2019 21:03:48 +0000 (13:03 -0800)
commite58c3f8351763facc12f61c42797cc2a5edf0907
tree3332182623313ac4aedc9c28adf4deb3a6fc70d6
parent319cba70d37eafdb8bbd3ddf6a0f9c238d53d0c2
parent10e82e103f7b95d5a50d2ac85bc8e07e4461e388
Merge pull request #1587 from YosysHQ/revert-1558-eddie/xaiger_cleanup

Revert "Optimise write_xaiger"