Commit message (Expand) | Author | Age | |
---|---|---|---|
* | yosys-dev: add .install and .manpages, move yosys-config from yosys to yosys-dev | Sebastian Kuzminsky | 2016-04-04 |
* | add a manpage for yosys-smtbmc | Sebastian Kuzminsky | 2016-03-03 |
* | Added man page for yosys-abc | Ruben Undheim | 2015-02-09 |
* | Added man-pages for the two other binaries | Ruben Undheim | 2014-09-13 |
* | checked in missing file | Ruben Undheim | 2014-04-14 |