projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dc18bf1 cc02d58)
Merge pull request #2314 from YosysHQ/verifix_errorfix
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 29 Jul 2020 13:41:26 +0000 (15:41 +0200)
committerGitHub <noreply@github.com>
Wed, 29 Jul 2020 13:41:26 +0000 (15:41 +0200)
Verific - prevent exit yosys due to stored error


Trivial merge