projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b50f4f3) | patch
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)
authorClifford Wolf <clifford@clifford.at>
Thu, 22 Nov 2018 16:08:28 +0000 (17:08 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 22 Nov 2018 16:08:28 +0000 (17:08 +0100)
commit4eb91d5b883f05f6c2c4f655315ce5b16a724a44
treec056b529c33bf473b9def419c8560cd7311a283dtree
parentb50f4f3d10d95ab065685a7b86c5cd8763b3dd8ecommit | diff
Add "smtbmc ... -- ..." feature (for "raw" smtbmc options)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/source/reference.rst diff | blob | history
sbysrc/sby_engine_smtbmc.py diff | blob | history