aboutsummaryrefslogtreecommitdiffstats
path: root/manual
Commit message (Expand)AuthorAgeFilesLines
* Add $_ANDNOT_ and $_ORNOT_ gatesClifford Wolf2017-05-171-1/+2
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-1/+1
* Use -E sed parameter instead of -r.Piotr Esden-Tempski2017-02-041-1/+1
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-1/+1
* Updated command reference in manualClifford Wolf2016-11-021-100/+568
* Added $anyseq cell typeClifford Wolf2016-10-141-1/+1
* Added $ff and $_FF_ cell typesClifford Wolf2016-10-121-0/+4
* Removed $aconst cell typeClifford Wolf2016-08-301-1/+1
* Removed $predict againClifford Wolf2016-08-281-1/+1
* Added $anyconst and $aconstClifford Wolf2016-07-271-1/+1
* Added $initstate cell type and vlog functionClifford Wolf2016-07-211-1/+1
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-1/+1
* Added basic support for $expect cellsClifford Wolf2016-07-131-1/+1
* Added warning about adding fsm_encoding attributes to wires to manualClifford Wolf2016-07-081-0/+4
* Added $sop cell type and "abc -sop"Clifford Wolf2016-06-171-0/+4
* Minor presentation fixesClifford Wolf2016-05-141-1/+1
* Added "yosys -D" featureClifford Wolf2016-04-213-3/+3
* Fix a few typos in the manualWladimir J. van der Laan2016-04-031-3/+3
* Renamed opt_share to opt_mergeClifford Wolf2016-03-313-7/+7
* Renamed opt_const to opt_exprClifford Wolf2016-03-314-14/+14
* user-facing spelling fixesSebastian Kuzminsky2016-02-281-3/+3
* Updated command reference in manualClifford Wolf2016-02-142-15/+363
* Remove nonportable "-r" option from xargsMicah Elizabeth Scott2015-12-151-1/+1
* Added read-enable to memory modelClifford Wolf2015-09-251-2/+6
* Another block of spelling fixesLarry Doolittle2015-08-142-5/+5
* 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-1425-140/+140
* More ASCII encoding fixesClifford Wolf2015-08-131-1/+1
* Fixed CRLF line endingsClifford Wolf2015-08-132-297/+297
* Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-131-3/+3
* Fixed trailing whitespacesClifford Wolf2015-07-0222-179/+179
* appnote 012 fixClifford Wolf2015-04-041-2/+2
* Appnote 012Clifford Wolf2015-04-042-115/+115
* Merge branch 'master' of https://github.com/cliffordwolf/yosysAhmed Irfan2015-04-0337-194/+1757
|\
| * Added blif reference to appnote 010Clifford Wolf2015-03-221-1/+5
| * Added $assume cell typeClifford Wolf2015-02-261-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 presentation fixesClifford Wolf2015-02-092-8/+15
| * Added $equiv cell typeClifford Wolf2015-01-191-1/+1
| * Improvements in CodingReadmeClifford Wolf2014-12-311-8/+13
| * Added more documentation fixmes for nontrivial register cellsClifford Wolf2014-12-081-1/+9
| * manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorboxFabien Marteau2014-12-071-1/+1
| * suppressing semi-colon at the end of dot filesFabien Marteau2014-12-0519-19/+19
| * Added some missing .gitignore in manual/Clifford Wolf2014-12-042-0/+4
| * Some fixes in stubnets exampleClifford Wolf2014-11-241-3/+5
| * Some fixes in presentationClifford Wolf2014-11-082-2/+2
| * Various documentation updatesClifford Wolf2014-11-0812-108/+1276
| * Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-102-3/+3
* | appnote for verilog to btorAhmed Irfan2015-04-031-0/+435
|/