Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improve
authorEddie Hung <eddie@fpgeh.com>
Wed, 27 Nov 2019 09:04:29 +0000 (01:04 -0800)
committerGitHub <noreply@github.com>
Wed, 27 Nov 2019 09:04:29 +0000 (01:04 -0800)
commit95053d90109b707103bfbbd2927e6be36d69bca8
tree74876e66b0eb51d69e97ce6744cad3cdca3781ad
parent0466c48533ad2831a95c6b63c3a190adb76499e9
parent5e67df38edf5207a9b816946b094448cd6a52f88
Merge pull request #1535 from YosysHQ/eddie/write_xaiger_improve

write_xaiger improvements