diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-04-29 14:35:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-29 14:35:46 +0200 |
| commit | 7bdf7365e73769af655ae2aafcfaa2640a6f6bd7 (patch) | |
| tree | 23864ecd938293b8301970c81e1f55e2032a5240 /passes/sat/sim.cc | |
| parent | b30d90a14a6c84e5d20cb52ab008bf86503ed275 (diff) | |
| parent | 422db937d44c10b850b8722dd39062650cf2db2b (diff) | |
| download | yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.tar.gz yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.tar.bz2 yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.zip | |
Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff
Ignore merging past ffs that we are not properly merging
Diffstat (limited to 'passes/sat/sim.cc')
0 files changed, 0 insertions, 0 deletions