aboutsummaryrefslogtreecommitdiffstats
path: root/manual/command-reference-manual.tex
Commit message (Expand)AuthorAgeFilesLines
* Get rid of dffsr2dff.Marcelina Koƛcielnicka2020-04-151-198/+2300
* fix typo in `write_smt2` helpTeguh Hofstee2020-03-231-1/+1
* Update command reference manualClifford Wolf2018-10-161-140/+1200
* Fixed typo in "verilog_write" help messageacw12512018-09-181-2/+2
* Updated command reference in manualClifford Wolf2016-11-021-100/+568
* user-facing spelling fixesSebastian Kuzminsky2016-02-281-3/+3
* Updated command reference in manualClifford Wolf2016-02-141-15/+359
* Another block of spelling fixesLarry Doolittle2015-08-141-2/+2
* Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-141-36/+652
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-61/+61
* Fixed trailing whitespacesClifford Wolf2015-07-021-1/+1
* Fixed creation of command reference in manualClifford Wolf2015-02-091-5/+5
* Updated command reference in manualClifford Wolf2015-02-091-75/+440
* Various documentation updatesClifford Wolf2014-11-081-44/+1139
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-061-7/+7
* Removed $bu0 cell typeClifford Wolf2014-09-041-1/+1
* Updated manual/command-reference-manual.texClifford Wolf2013-12-281-6/+136
* Updated command-reference-manual.texClifford Wolf2013-11-231-10/+26
* Updated command-reference-manual.texClifford Wolf2013-11-221-8/+192
* Updated manualClifford Wolf2013-09-151-6/+119
* Added Yosys ManualClifford Wolf2013-07-201-0/+1135