projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 319cba7 10e82e1)
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)
Revert "Optimise write_xaiger"


Trivial merge