Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix typo in `write_smt2` help | Teguh Hofstee | 2020-03-23 | 1 | -1/+1 |
* | Update command reference manual | Clifford Wolf | 2018-10-16 | 1 | -140/+1200 |
* | Fixed typo in "verilog_write" help message | acw1251 | 2018-09-18 | 1 | -2/+2 |
* | Updated command reference in manual | Clifford Wolf | 2016-11-02 | 1 | -100/+568 |
* | user-facing spelling fixes | Sebastian Kuzminsky | 2016-02-28 | 1 | -3/+3 |
* | Updated command reference in manual | Clifford Wolf | 2016-02-14 | 1 | -15/+359 |
* | Another block of spelling fixes | Larry Doolittle | 2015-08-14 | 1 | -2/+2 |
* | Re-created command-reference-manual.tex, copied some doc fixes to online help | Clifford Wolf | 2015-08-14 | 1 | -36/+652 |
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -61/+61 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -1/+1 |
* | Fixed creation of command reference in manual | Clifford Wolf | 2015-02-09 | 1 | -5/+5 |
* | Updated command reference in manual | Clifford Wolf | 2015-02-09 | 1 | -75/+440 |
* | Various documentation updates | Clifford Wolf | 2014-11-08 | 1 | -44/+1139 |
* | Corrected spelling mistakes found by lintian | Ruben Undheim | 2014-09-06 | 1 | -7/+7 |
* | Removed $bu0 cell type | Clifford Wolf | 2014-09-04 | 1 | -1/+1 |
* | Updated manual/command-reference-manual.tex | Clifford Wolf | 2013-12-28 | 1 | -6/+136 |
* | Updated command-reference-manual.tex | Clifford Wolf | 2013-11-23 | 1 | -10/+26 |
* | Updated command-reference-manual.tex | Clifford Wolf | 2013-11-22 | 1 | -8/+192 |
* | Updated manual | Clifford Wolf | 2013-09-15 | 1 | -6/+119 |
* | Added Yosys Manual | Clifford Wolf | 2013-07-20 | 1 | -0/+1135 |