projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 84d9142 c4b8575)
Merge pull request #1019 from YosysHQ/clifford/fix1016
authorClifford Wolf <clifford@clifford.at>
Wed, 22 May 2019 11:29:04 +0000 (13:29 +0200)
committerGitHub <noreply@github.com>
Wed, 22 May 2019 11:29:04 +0000 (13:29 +0200)
Add "wreduce -keepdc"


Trivial merge