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)
commit5c164d0863078779fd27aefa665b5e6e457ca39b
treecfa9b44d815a2c8b0afad4261aef81ba08c8a8f9
parent84d91420e4a6b09a70e9588f918aec9e684b3c63
parentc4b8575f4322f72dd1b35e2737966db731a26c17
Merge pull request #1019 from YosysHQ/clifford/fix1016

Add "wreduce -keepdc"