projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66a4589) | patch
Updated install instructions for super_prove
authorChristian Krieg <christian@drkrieg.at>
Tue, 20 Jul 2021 20:33:03 +0000 (22:33 +0200)
committerChristian Krieg <christian@drkrieg.at>
Tue, 20 Jul 2021 20:33:28 +0000 (22:33 +0200)
commit21371fb7acfffcc1f4100ad59aa9d925d4c03f5b
treea88f4d571e39f890e5b871c7014d3dbeadc7ca95tree
parent66a458958dc93f8e12418d425e4c31848889937bcommit | diff
Updated install instructions for super_prove

* Links were dead
* No binaries to download
* Updated with install information from super_prove github repository
* Augmented with additional commands to ease installation
docs/source/install.rst diff | blob | history