projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
f9d023c
66e8986
)
Merge pull request #410 from azonenberg/opt_demorgan
author
Clifford Wolf
<clifford@clifford.at>
Thu, 14 Sep 2017 19:42:34 +0000
(21:42 +0200)
committer
GitHub
<noreply@github.com>
Thu, 14 Sep 2017 19:42:34 +0000
(21:42 +0200)
Added "opt_demorgan" pass (fixes #408)
Trivial merge