Merge pull request #1046 from bogdanvuk/master
authorClifford Wolf <clifford@clifford.at>
Fri, 28 Jun 2019 06:30:18 +0000 (08:30 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Jun 2019 06:30:18 +0000 (08:30 +0200)
Optimizing DFFs whose initial value prevents their value from changing


Trivial merge