projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41cd8e5) | patch
switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module... add-simcheck-option
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 23 Jun 2022 04:17:29 +0000 (21:17 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 23 Jun 2022 04:17:29 +0000 (21:17 -0700)
commitdb740839b737ee55b8b39f1b29780872d32d248a
treefa7a297a9fa189e08b7de2d3ffed5a2f5d998da5tree
parent41cd8e5b5e6d61b2fb28e00b7aa0616a00348b5dcommit | diff
switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules.

Fixes: #168
Depends on: https://github.com/YosysHQ/yosys/pull/3391
sbysrc/sby_core.py diff | blob | history
tests/unsorted/blackbox.sby [new file with mode: 0644] blob
tests/unsorted/smtlib2_module.sby [new file with mode: 0644] blob