diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-26 23:12:15 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-21 02:16:11 +0000 |
| commit | 4ab41c64359ea487e74b3c4901525ad155f11ec1 (patch) | |
| tree | 3dc0c938e25170a4a54290db3179d846786a388d /kernel | |
| parent | a3d1f8637a8a9a97e3152fea1ceae23f798f54d8 (diff) | |
| download | yosys-4ab41c64359ea487e74b3c4901525ad155f11ec1.tar.gz yosys-4ab41c64359ea487e74b3c4901525ad155f11ec1.tar.bz2 yosys-4ab41c64359ea487e74b3c4901525ad155f11ec1.zip | |
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.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions