Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | update manual to latest | Miodrag Milanovic | 2022-08-03 | 1 | -2/+5 |
* | Update manual and changelog | Miodrag Milanovic | 2022-08-03 | 1 | -0/+3 |
* | Update documentation | Miodrag Milanovic | 2022-08-01 | 1 | -0/+4 |
* | Upadte documentation and changelog | Miodrag Milanovic | 2022-07-04 | 1 | -46/+30 |
* | add hierarchy -smtcheck | Jacob Lifshay | 2022-06-22 | 1 | -0/+3 |
* | Update manual | Miodrag Milanovic | 2022-06-10 | 1 | -0/+8 |
* | Update changelog and manual | Miodrag Milanovic | 2022-06-08 | 1 | -91/+160 |
* | Update manual | Miodrag Milanovic | 2022-05-09 | 1 | -0/+44 |
* | Update CHANGELOG and manual | Miodrag Milanovic | 2022-04-04 | 1 | -2/+54 |
* | Update documentation | Miodrag Milanovic | 2022-03-04 | 1 | -1/+96 |
* | Update CHANGELOG and manual | Miodrag Milanovic | 2022-02-07 | 1 | -3/+61 |
* | Update manual | Miodrag Milanovic | 2022-01-03 | 1 | -1/+21 |
* | opt_mem_priority: Fix non-ascii char in help message. | Marcelina KoĆcielnicka | 2021-12-09 | 1 | -11/+1 |
* | Update manual | Miodrag Milanovic | 2021-12-03 | 1 | -22/+181 |
* | manual: fix pdflatex inputenc undefined char error | Gabriel Somlo | 2021-11-07 | 1 | -1/+1 |
* | Update command reference | Miodrag Milanovic | 2021-11-05 | 1 | -0/+17 |
* | Update command reference part of manual | Miodrag Milanovic | 2021-10-29 | 1 | -340/+1444 |
* | Intersynth URL | Claire Xenia Wolf | 2021-06-09 | 1 | -1/+1 |
* | bugpoint: add runner option | Zachary Snow | 2021-03-17 | 1 | -0/+3 |
* | Update command-reference-manual.tex | Claire Xen | 2021-03-04 | 1 | -4/+4 |
* | Get rid of dffsr2dff. | Marcelina KoĆcielnicka | 2020-04-15 | 1 | -198/+2300 |
* | 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 |