Miodrag Milanovic
cb17eeaf50
Update manual
2022-01-03 11:57:11 +01:00
Marcelina Kościelnicka
1184a7f3b4
opt_mem_priority: Fix non-ascii char in help message.
...
This is a fixed version of #3072 .
2021-12-09 00:56:14 +01:00
Miodrag Milanovic
71e762d68c
Update manual
2021-12-03 09:57:14 +01:00
Gabriel Somlo
9a413803eb
manual: fix pdflatex inputenc undefined char error
...
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
2021-11-07 03:05:03 +01:00
Miodrag Milanovic
598f51c6a1
Update command reference
2021-11-05 10:04:15 +01:00
Miodrag Milanovic
55f07fe56f
Update command reference part of manual
2021-10-29 13:10:50 +02:00
Claire Xenia Wolf
2d95a7da9c
Intersynth URL
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-06-09 12:42:52 +02:00
Zachary Snow
c8b45a4a82
bugpoint: add runner option
2021-03-17 15:54:00 -04:00
Claire Xen
7d2097b005
Update command-reference-manual.tex
2021-03-04 16:45:21 +01:00
Marcelina Kościelnicka
38a0c30d65
Get rid of dffsr2dff.
...
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.
2020-04-15 16:22:37 +02:00
Teguh Hofstee
b08932cb81
fix typo in `write_smt2` help
2020-03-23 02:14:26 -07:00
Clifford Wolf
500726781b
Update command reference manual
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-10-16 15:28:37 +02:00
acw1251
efac8a45a6
Fixed typo in "verilog_write" help message
2018-09-18 13:34:30 -04:00
Clifford Wolf
4832faf5e9
Updated command reference in manual
2016-11-02 19:25:28 +01:00
Sebastian Kuzminsky
7e6426a67d
user-facing spelling fixes
...
"speciefied" -> "specified"
"unkown" -> "unknown"
2016-02-28 15:14:01 -07:00
Clifford Wolf
85fe6d176f
Updated command reference in manual
2016-02-14 11:02:11 +01:00
Larry Doolittle
6c00704a5e
Another block of spelling fixes
...
Smaller this time
2015-08-14 23:27:05 +02:00
Clifford Wolf
0350074819
Re-created command-reference-manual.tex, copied some doc fixes to online help
2015-08-14 11:27:19 +02:00
Clifford Wolf
84bf862f7c
Spell check (by Larry Doolittle)
2015-08-14 10:56:05 +02:00
Clifford Wolf
6c84341f22
Fixed trailing whitespaces
2015-07-02 11:14:30 +02:00
Clifford Wolf
a779a09771
Fixed creation of command reference in manual
2015-02-09 13:24:29 +01:00
Clifford Wolf
b944fef925
Updated command reference in manual
2015-02-09 12:05:02 +01:00
Clifford Wolf
b9f2127f5d
Various documentation updates
2014-11-08 10:59:48 +01:00
Ruben Undheim
79cbf9067c
Corrected spelling mistakes found by lintian
2014-09-06 08:47:06 +02:00
Clifford Wolf
8927aa6148
Removed $bu0 cell type
2014-09-04 02:07:52 +02:00
Clifford Wolf
74d0de3b74
Updated manual/command-reference-manual.tex
2013-12-28 12:14:47 +01:00
Clifford Wolf
a4edecb0ca
Updated command-reference-manual.tex
2013-11-23 20:09:47 +01:00
Clifford Wolf
7b9ca46f8d
Updated command-reference-manual.tex
2013-11-22 15:02:40 +01:00
Clifford Wolf
647c23b7b7
Updated manual
2013-09-15 11:41:05 +02:00
Clifford Wolf
61ed6b32d1
Added Yosys Manual
2013-07-20 15:19:12 +02:00