projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 48d7a6c 8b15f3a)
Merge pull request #3258 from jix/fix-no-assertions
authorMiodrag Milanović <mmicko@gmail.com>
Tue, 29 Mar 2022 19:20:07 +0000 (21:20 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 19:20:07 +0000 (21:20 +0200)
smtbmc: fix bmc with no assertions


Trivial merge