projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa5d5ad) | patch
document btor engine, add overview of mode/engine/solver combinations, remove unimple...
authorN. Engelhardt <nak@yosyshq.com>
Fri, 25 Mar 2022 17:01:09 +0000 (18:01 +0100)
committerN. Engelhardt <nak@yosyshq.com>
Fri, 25 Mar 2022 17:01:09 +0000 (18:01 +0100)
commit3834fe76226f39b87f4104d5e908d9cb82106cdf
treea027800079a5dd928771a503e1f40c140bcebe2dtree
parentfa5d5ad831dcbea08ea1d9d6ff81df697183eaa1commit | diff
document btor engine, add overview of mode/engine/solver combinations, remove unimplemented modes
docs/source/reference.rst diff | blob | history