projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 992d694) | patch
qbfsat: Use bit precise mapping for hole value wires and a more robust hole spec...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Fri, 22 May 2020 04:48:33 +0000 (04:48 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 21 Jun 2020 02:16:11 +0000 (02:16 +0000)
commita3d1f8637a8a9a97e3152fea1ceae23f798f54d8
tree5bce985396f806c6ea4815091bb87c9aeda235detree
parent992d694d39db859bd7b554126881be69f3cfcd2ecommit | diff
qbfsat: Use bit precise mapping for hole value wires and a more robust hole spec for writing to and specializing from a solution file.
kernel/rtlil.h diff | blob | history
passes/sat/qbfsat.cc diff | blob | history