Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 29 Apr 2022 12:35:46 +0000 (14:35 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 12:35:46 +0000 (14:35 +0200)
commit7bdf7365e73769af655ae2aafcfaa2640a6f6bd7
tree23864ecd938293b8301970c81e1f55e2032a5240
parentb30d90a14a6c84e5d20cb52ab008bf86503ed275
parent422db937d44c10b850b8722dd39062650cf2db2b
Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff

Ignore merging past ffs that we are not properly merging