projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba26f09) | patch
add hierarchy -smtcheck smtlib2-expr-support-on-0.13
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 23 Jun 2022 03:53:10 +0000 (20:53 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 23 Jun 2022 04:31:43 +0000 (21:31 -0700)
commiteb5f9d9de61411d22944c105cf3800f121f90666
tree11729277bfeb2c496a4bb769f84006e79f518659tree
parentba26f094d819f139ae44422f5c211ebe78477966commit | diff
add hierarchy -smtcheck

like -simcheck, but allow smtlib2_module modules.

(cherry picked from commit c16c0288311ba9aef95b3d5fcdde63bbc05a5b08)
manual/command-reference-manual.tex diff | blob | history
passes/hierarchy/hierarchy.cc diff | blob | history