aboutsummaryrefslogtreecommitdiffstats
path: root/manual/command-reference-manual.tex
Commit message (Collapse)AuthorAgeFilesLines
* Removing manual filesKrystalDelusion2022-12-081-9592/+0
|
* Update manualMiodrag Milanovic2022-12-051-6/+189
|
* Update manualMiodrag Milanovic2022-11-081-0/+47
|
* Update documentationMiodrag Milanovic2022-09-061-170/+288
|
* update manual to latestMiodrag Milanovic2022-08-031-2/+5
|
* Update manual and changelogMiodrag Milanovic2022-08-031-0/+3
|
* Update documentationMiodrag Milanovic2022-08-011-0/+4
|
* Upadte documentation and changelogMiodrag Milanovic2022-07-041-46/+30
|
* add hierarchy -smtcheckJacob Lifshay2022-06-221-0/+3
| | | | like -simcheck, but allow smtlib2_module modules.
* Update manualMiodrag Milanovic2022-06-101-0/+8
|
* Update changelog and manualMiodrag Milanovic2022-06-081-91/+160
|
* 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
| | | | This is a fixed version of #3072.
* Update manualMiodrag Milanovic2021-12-031-22/+181
|
* manual: fix pdflatex inputenc undefined char errorGabriel Somlo2021-11-071-1/+1
| | | | Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
* 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
| | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
* 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
| | | | | | This pass is a proper subset of opt_rmdff, which is called by opt, which is called by every synth flow in the coarse part. Thus, it never actually does anything and can be safely removed.
* fix typo in `write_smt2` helpTeguh Hofstee2020-03-231-1/+1
|
* Update command reference manualClifford Wolf2018-10-161-140/+1200
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* 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
| | | | | "speciefied" -> "specified" "unkown" -> "unknown"
* Updated command reference in manualClifford Wolf2016-02-141-15/+359
|
* Another block of spelling fixesLarry Doolittle2015-08-141-2/+2
| | | | Smaller this time
* 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