| Commit message (Expand) | Author | Age | Files | Lines |
* | Improve handling of "full_case" attributes | Clifford Wolf | 2019-03-14 | 1 | -0/+9 |
* | Add support for SVA labels in read_verilog | Clifford Wolf | 2019-03-07 | 1 | -3/+9 |
* | Fix error for wire decl in always block, fixes #763 | Clifford Wolf | 2019-03-02 | 1 | -1/+5 |
* | Fixes related to handling of autowires and upto-ranges, fixes #814 | Clifford Wolf | 2019-02-21 | 1 | -2/+2 |
* | Fix segfault in printing of some internal error messages | Clifford Wolf | 2019-02-21 | 1 | -2/+2 |
* | Fix sign handling of real constants | Clifford Wolf | 2019-02-13 | 1 | -5/+4 |
* | Various indenting fixes in AST front-end (mostly space vs tab issues) | Clifford Wolf | 2018-11-04 | 1 | -55/+33 |
* | Improve read_verilog range out of bounds warning | Clifford Wolf | 2018-10-20 | 1 | -6/+6 |
* | Refactor code to avoid code duplication + added comments | Ruben Undheim | 2018-10-20 | 1 | -21/+4 |
* | Documentation improvements etc. | Ruben Undheim | 2018-10-13 | 1 | -5/+7 |
* | Support for 'modports' for System Verilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -0/+29 |
* | Synthesis support for SystemVerilog interfaces | Ruben Undheim | 2018-10-12 | 1 | -2/+46 |
* | Fix for issue 594. | Tom Verbeure | 2018-10-02 | 1 | -1/+2 |
* | Convert more log_error() to log_file_error() where possible. | Henner Zeller | 2018-07-20 | 1 | -71/+69 |
* | Use log_file_warning(), log_file_error() functions. | Henner Zeller | 2018-07-20 | 1 | -16/+16 |
* | Provide source-location logging. | Henner Zeller | 2018-07-19 | 1 | -3/+2 |
* | Fix handling of signed memories | Clifford Wolf | 2018-06-28 | 1 | -0/+3 |
* | Add (* gclk *) attribute support | Clifford Wolf | 2018-06-01 | 1 | -0/+9 |
* | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -2/+2 |
* | Fix error handling for nested always/initial | Clifford Wolf | 2017-12-02 | 1 | -0/+2 |
* | Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand cons... | Clifford Wolf | 2017-06-07 | 1 | -0/+7 |
* | Add $live and $fair cell types, add support for s_eventually keyword | Clifford Wolf | 2017-02-25 | 1 | -1/+6 |
* | Add $cover cell type and SVA cover() support | Clifford Wolf | 2017-02-04 | 1 | -0/+2 |
* | Some fixes in handling of signed arrays | Clifford Wolf | 2016-11-01 | 1 | -0/+1 |
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -2/+2 |
* | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 1 | -4/+11 |
* | Added $past, $stable, $rose, $fell SVA functions | Clifford Wolf | 2016-09-19 | 1 | -0/+10 |
* | Added assertpmux | Clifford Wolf | 2016-09-07 | 1 | -0/+1 |
* | Added $anyconst support to yosys-smtbmc | Clifford Wolf | 2016-08-30 | 1 | -0/+2 |
* | Removed $aconst cell type | Clifford Wolf | 2016-08-30 | 1 | -3/+3 |
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -2/+0 |
* | Another bugfix in mem2reg code | Clifford Wolf | 2016-08-21 | 1 | -0/+2 |
* | Optimize memory address port width in wreduce and memory_collect, not verilog... | Clifford Wolf | 2016-08-19 | 1 | -4/+8 |
* | Only allow posedge/negedge with 1 bit wide signals | Clifford Wolf | 2016-08-10 | 1 | -0/+2 |
* | Added $anyconst and $aconst | Clifford Wolf | 2016-07-27 | 1 | -0/+45 |
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -2/+2 |
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 1 | -2/+7 |
* | Added support for SystemVerilog packages with localparam definitions | Ruben Undheim | 2016-06-18 | 1 | -0/+1 |
* | Fixed procedural assignments to non-unique lvalues, e.g. {y,y} = {a,b} | Clifford Wolf | 2016-05-27 | 1 | -0/+11 |
* | fixed typos in error messages | Clifford Wolf | 2016-05-27 | 1 | -3/+3 |
* | Fixed handling of parameters and const functions in casex/casez pattern | Clifford Wolf | 2016-04-21 | 1 | -2/+4 |
* | Fixed some visual studio warnings | Clifford Wolf | 2016-02-13 | 1 | -1/+1 |
* | genrtlil: avoid converting SigSpec to set<SigBit> when going through removeSi... | Rick Altherr | 2016-01-31 | 1 | -3/+3 |
* | Fixed handling of parameters and localparams in functions | Clifford Wolf | 2015-11-11 | 1 | -0/+5 |
* | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 1 | -20/+20 |
* | Added read-enable to memory model | Clifford Wolf | 2015-09-25 | 1 | -0/+1 |
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 1 | -7/+7 |
* | Added WORDS parameter to $meminit | Clifford Wolf | 2015-07-31 | 1 | -1/+9 |
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 1 | -2/+2 |
* | Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker() | Clifford Wolf | 2015-03-01 | 1 | -2/+4 |