projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa9df06) | patch
qbfsat: Make hole name recovery more robust. Allow multiple cell types to share the...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 23 Apr 2020 05:42:18 +0000 (05:42 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 23 Apr 2020 05:45:44 +0000 (05:45 +0000)
commit4ee8452d3476862ec9f470c69cfb1a70eb8b6e43
treee95c04cedf4e2ae69f02d5828560b9dccfe6609ftree
parentfa9df06c9dc5ead43645ba973e2ca8c63adfb29dcommit | diff
qbfsat: Make hole name recovery more robust. Allow multiple cell types to share the same source location as long as only one `$anyconst` or `$anyseq` has that location.
passes/sat/qbfsat.cc diff | blob | history