Merge pull request #1253 from YosysHQ/clifford/check
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Aug 2019 10:14:41 +0000 (12:14 +0200)
committerGitHub <noreply@github.com>
Wed, 7 Aug 2019 10:14:41 +0000 (12:14 +0200)
commitc5d56fbe2d197b28a5d30983506af5d36868abd7
treec331fe8ec3639e5e0ac6ffdef235433bb650d517
parentf1ac998bb46619fa75d086797617d162cfc7b90d
parent95a6582f342537d387063be10cba55c001ed19f5
Merge pull request #1253 from YosysHQ/clifford/check

Be less aggressive with running design->check()
kernel/register.cc