aboutsummaryrefslogtreecommitdiffstats
path: root/manual
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | | BSD sed equivalent to -r parameter is -E and it is also supported in GNU sed thus using -E results in support on both platforms.
* 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
| | | | | "speciefied" -> "specified" "unkown" -> "unknown"
* Updated command reference in manualClifford Wolf2016-02-142-15/+363
|
* Remove nonportable "-r" option from xargsMicah Elizabeth Scott2015-12-151-1/+1
| | | | On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.
* Added read-enable to memory modelClifford Wolf2015-09-251-2/+6
|
* Another block of spelling fixesLarry Doolittle2015-08-142-5/+5
| | | | 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-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
|/
* Added $lcu cell typeClifford Wolf2014-09-081-1/+1
|