projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8549f3) | patch
Also add install docs for btorsim
authorClifford Wolf <clifford@clifford.at>
Sat, 8 Dec 2018 22:42:52 +0000 (23:42 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 8 Dec 2018 22:42:52 +0000 (23:42 +0100)
commit970e4b2857103d5237d6069e4e753b978dc480c4
tree08de642edf40e0e1cd07f41bea48a38739bbae4ftree
parentb8549f3a2d34ee700a835e782fda1a3bebdf03d7commit | diff
Also add install docs for btorsim

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