projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3d1f86) | patch
qbfsat: Fixes three bugs.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 26 May 2020 23:12:15 +0000 (23:12 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sun, 21 Jun 2020 02:16:11 +0000 (02:16 +0000)
commit4ab41c64359ea487e74b3c4901525ad155f11ec1
tree3dc0c938e25170a4a54290db3179d846786a388dtree
parenta3d1f8637a8a9a97e3152fea1ceae23f798f54d8commit | diff
qbfsat: Fixes three bugs.

1. Infinite loop in the optimization procedure when the first solution found while maximizing is at zero.
2. A signed-ness issue when maximizing.
3. Erroneously entering bisection mode with no wire to optimize.
passes/sat/qbfsat.cc diff | blob | history