projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 25a3a96 0a65885)
Merge pull request #819 from YosysHQ/clifford/optd
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Feb 2019 05:55:48 +0000 (06:55 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Feb 2019 05:55:48 +0000 (06:55 +0100)
Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior


Trivial merge