Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add $_ANDNOT_ and $_ORNOT_ gates | Clifford Wolf | 2017-05-17 | 1 | -1/+2 |
| | |||||
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -1/+1 |
| | |||||
* | Use -E sed parameter instead of -r. | Piotr Esden-Tempski | 2017-02-04 | 1 | -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() support | Clifford Wolf | 2017-02-04 | 1 | -1/+1 |
| | |||||
* | Updated command reference in manual | Clifford Wolf | 2016-11-02 | 1 | -100/+568 |
| | |||||
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | |||||
* | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 1 | -0/+4 |
| | |||||
* | Removed $aconst cell type | Clifford Wolf | 2016-08-30 | 1 | -1/+1 |
| | |||||
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -1/+1 |
| | |||||
* | Added $anyconst and $aconst | Clifford Wolf | 2016-07-27 | 1 | -1/+1 |
| | |||||
* | Added $initstate cell type and vlog function | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | |||||
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -1/+1 |
| | |||||
* | Added warning about adding fsm_encoding attributes to wires to manual | Clifford Wolf | 2016-07-08 | 1 | -0/+4 |
| | |||||
* | Added $sop cell type and "abc -sop" | Clifford Wolf | 2016-06-17 | 1 | -0/+4 |
| | |||||
* | Minor presentation fixes | Clifford Wolf | 2016-05-14 | 1 | -1/+1 |
| | |||||
* | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 3 | -3/+3 |
| | |||||
* | Fix a few typos in the manual | Wladimir J. van der Laan | 2016-04-03 | 1 | -3/+3 |
| | |||||
* | Renamed opt_share to opt_merge | Clifford Wolf | 2016-03-31 | 3 | -7/+7 |
| | |||||
* | Renamed opt_const to opt_expr | Clifford Wolf | 2016-03-31 | 4 | -14/+14 |
| | |||||
* | user-facing spelling fixes | Sebastian Kuzminsky | 2016-02-28 | 1 | -3/+3 |
| | | | | | "speciefied" -> "specified" "unkown" -> "unknown" | ||||
* | Updated command reference in manual | Clifford Wolf | 2016-02-14 | 2 | -15/+363 |
| | |||||
* | Remove nonportable "-r" option from xargs | Micah Elizabeth Scott | 2015-12-15 | 1 | -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 model | Clifford Wolf | 2015-09-25 | 1 | -2/+6 |
| | |||||
* | Another block of spelling fixes | Larry Doolittle | 2015-08-14 | 2 | -5/+5 |
| | | | | Smaller this time | ||||
* | 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 | 25 | -140/+140 |
| | |||||
* | More ASCII encoding fixes | Clifford Wolf | 2015-08-13 | 1 | -1/+1 |
| | |||||
* | Fixed CRLF line endings | Clifford Wolf | 2015-08-13 | 2 | -297/+297 |
| | |||||
* | Some ASCII encoding fixes (comments and docs) by Larry Doolittle | Clifford Wolf | 2015-08-13 | 1 | -3/+3 |
| | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 22 | -179/+179 |
| | |||||
* | appnote 012 fix | Clifford Wolf | 2015-04-04 | 1 | -2/+2 |
| | |||||
* | Appnote 012 | Clifford Wolf | 2015-04-04 | 2 | -115/+115 |
| | |||||
* | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2015-04-03 | 37 | -194/+1757 |
|\ | |||||
| * | Added blif reference to appnote 010 | Clifford Wolf | 2015-03-22 | 1 | -1/+5 |
| | | |||||
| * | Added $assume cell type | Clifford Wolf | 2015-02-26 | 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 presentation fixes | Clifford Wolf | 2015-02-09 | 2 | -8/+15 |
| | | |||||
| * | Added $equiv cell type | Clifford Wolf | 2015-01-19 | 1 | -1/+1 |
| | | |||||
| * | Improvements in CodingReadme | Clifford Wolf | 2014-12-31 | 1 | -8/+13 |
| | | |||||
| * | Added more documentation fixmes for nontrivial register cells | Clifford Wolf | 2014-12-08 | 1 | -1/+9 |
| | | |||||
| * | manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox | Fabien Marteau | 2014-12-07 | 1 | -1/+1 |
| | | |||||
| * | suppressing semi-colon at the end of dot files | Fabien Marteau | 2014-12-05 | 19 | -19/+19 |
| | | |||||
| * | Added some missing .gitignore in manual/ | Clifford Wolf | 2014-12-04 | 2 | -0/+4 |
| | | |||||
| * | Some fixes in stubnets example | Clifford Wolf | 2014-11-24 | 1 | -3/+5 |
| | | |||||
| * | Some fixes in presentation | Clifford Wolf | 2014-11-08 | 2 | -2/+2 |
| | | |||||
| * | Various documentation updates | Clifford Wolf | 2014-11-08 | 12 | -108/+1276 |
| | | |||||
| * | Renamed SIZE() to GetSize() because of name collision on Win32 | Clifford Wolf | 2014-10-10 | 2 | -3/+3 |
| | | |||||
* | | appnote for verilog to btor | Ahmed Irfan | 2015-04-03 | 1 | -0/+435 |
|/ |