aboutsummaryrefslogtreecommitdiffstats
path: root/manual/command-reference-manual.tex
Commit message (Expand)AuthorAgeFilesLines
* Update manualMiodrag Milanovic2022-05-091-0/+44
* Update CHANGELOG and manualMiodrag Milanovic2022-04-041-2/+54
* Update documentationMiodrag Milanovic2022-03-041-1/+96
* Update CHANGELOG and manualMiodrag Milanovic2022-02-071-3/+61
* Update manualMiodrag Milanovic2022-01-031-1/+21
* opt_mem_priority: Fix non-ascii char in help message.Marcelina Koƛcielnicka2021-12-091-11/+1
* Update manualMiodrag Milanovic2021-12-031-22/+181
* manual: fix pdflatex inputenc undefined char errorGabriel Somlo2021-11-071-1/+1
* Update command referenceMiodrag Milanovic2021-11-051-0/+17
* Update command reference part of manualMiodrag Milanovic2021-10-291-340/+1444
* Intersynth URLClaire Xenia Wolf2021-06-091-1/+1
* bugpoint: add runner optionZachary Snow2021-03-171-0/+3
* Update command-reference-manual.texClaire Xen2021-03-041-4/+4
* 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