From: Eddie Hung Date: Fri, 20 Dec 2019 21:03:48 +0000 (-0800) Subject: Merge pull request #1587 from YosysHQ/revert-1558-eddie/xaiger_cleanup X-Git-Tag: working-ls180~909 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e58c3f8351763facc12f61c42797cc2a5edf0907;p=yosys.git Merge pull request #1587 from YosysHQ/revert-1558-eddie/xaiger_cleanup Revert "Optimise write_xaiger" --- e58c3f8351763facc12f61c42797cc2a5edf0907