projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d311a80) | patch
Use `log_push()` and `log_pop()` and show the satisfiable model when `-specialize...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Wed, 1 Apr 2020 19:28:07 +0000 (19:28 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Sat, 4 Apr 2020 22:13:26 +0000 (22:13 +0000)
commit6af8b767b436e504a7d0e271dca2ae0d355841dd
tree834d4d6690682160d3c820e50df61bcf38872842tree
parentd311a8022292a9934c11ff9124a53932469974e6commit | diff
Use `log_push()` and `log_pop()` and show the satisfiable model when `-specialize` is not specified.

Co-Authored-By: N. Engelhardt <nak@symbioticeda.com>
passes/sat/qbfsat.cc diff | blob | history