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)
commitc521f4632f1c82b48a5538c832980668044e8fd9
tree1c865ec04e25c043172d319b6187664cbdf6bc8b
parent25a3a961073335de138f8a037fc4b723572f1b68
parent0a6588569bb859d74876bf50956cb5f02cf3a31d
Merge pull request #819 from YosysHQ/clifford/optd

Rename "yosys -D" to "yosys -U", add "yosys -D" with expected behavior