projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a58dbcf) | patch
Improvements in "supercover" pass
authorClifford Wolf <clifford@clifford.at>
Wed, 27 Feb 2019 19:45:13 +0000 (11:45 -0800)
committerClifford Wolf <clifford@clifford.at>
Wed, 27 Feb 2019 19:45:13 +0000 (11:45 -0800)
commit63be3f3bab9293cf5b8f7416fce13cdeaa030727
tree23d56307202d8da4bc9059c55b61915f27e0dee2tree
parenta58dbcf2bae38835cdc2964718d4562ae4be4cc5commit | diff
Improvements in "supercover" pass

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/supercover.cc diff | blob | history