Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
authorClifford Wolf <clifford@clifford.at>
Sun, 26 May 2019 09:44:31 +0000 (11:44 +0200)
committerGitHub <noreply@github.com>
Sun, 26 May 2019 09:44:31 +0000 (11:44 +0200)
opt_rmdff to work on $dffe and $_DFFE_*


Trivial merge