projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80dcc8a) | patch
xaiger: remove some unnecessary operations ...
authorEddie Hung <eddie@fpgeh.com>
Fri, 6 Mar 2020 18:51:47 +0000 (10:51 -0800)
committerEddie Hung <eddie@fpgeh.com>
Fri, 6 Mar 2020 18:51:47 +0000 (10:51 -0800)
commit3be7784d0e06f75d5e35eb356b726b559f647f13
tree1bc021f5d2600f3bd4482ab9bf94b299c18a24ebtree
parent80dcc8a0d1b6833f093c4ad6742c60187d1c9c00commit | diff
xaiger: remove some unnecessary operations ...

... since they can not be triggered by (* keep *) anymore
(but could still be triggered by (* abc9_scc *) !?!)
backends/aiger/xaiger.cc diff | blob | history