Merge pull request #1432 from YosysHQ/eddie/fix1427
authorEddie Hung <eddie@fpgeh.com>
Tue, 8 Oct 2019 19:38:29 +0000 (12:38 -0700)
committerGitHub <noreply@github.com>
Tue, 8 Oct 2019 19:38:29 +0000 (12:38 -0700)
commitcfc181cba9837f42d9faa8ba9dbffbcede0ca84b
treef3c6541c857e43cc856cc925f3aeea586fc8f262
parent4c89a4e642c8618a0e18270d338e48599834d923
parent045f34403889b69f3ac3ac08d96e5cf1fae787d1
Merge pull request #1432 from YosysHQ/eddie/fix1427

Refactor peepopt_dffmux and be sensitive to \init when trimming