projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79b1ac9) | patch
Improve readability of boolector build instructions
authorClifford Wolf <clifford@clifford.at>
Thu, 28 Mar 2019 07:48:49 +0000 (08:48 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 28 Mar 2019 07:48:49 +0000 (08:48 +0100)
commit44869656b86993e7ebdc59e7b27191f3ecf119dc
tree2acc5d1fa96f18e3d4c5dc1c9cf03ed35bc243b9tree
parent79b1ac9570a72c152e2a0d4b8b750ed5e4d56b8ecommit | diff
Improve readability of boolector build instructions

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