From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 27 Nov 2019 09:04:29 +0000 (-0800)
Subject: Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improve
X-Git-Tag: working-ls180~945
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95053d90109b707103bfbbd2927e6be36d69bca8;p=yosys.git

Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improve

write_xaiger improvements
---

95053d90109b707103bfbbd2927e6be36d69bca8