aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast/genrtlil.cc
Commit message (Expand)AuthorAgeFilesLines
* Improve handling of "full_case" attributesClifford Wolf2019-03-141-0/+9
* Add support for SVA labels in read_verilogClifford Wolf2019-03-071-3/+9
* Fix error for wire decl in always block, fixes #763Clifford Wolf2019-03-021-1/+5
* Fixes related to handling of autowires and upto-ranges, fixes #814Clifford Wolf2019-02-211-2/+2
* Fix segfault in printing of some internal error messagesClifford Wolf2019-02-211-2/+2
* Fix sign handling of real constantsClifford Wolf2019-02-131-5/+4
* Various indenting fixes in AST front-end (mostly space vs tab issues)Clifford Wolf2018-11-041-55/+33
* Improve read_verilog range out of bounds warningClifford Wolf2018-10-201-6/+6
* Refactor code to avoid code duplication + added commentsRuben Undheim2018-10-201-21/+4
* Documentation improvements etc.Ruben Undheim2018-10-131-5/+7
* Support for 'modports' for System Verilog interfacesRuben Undheim2018-10-121-0/+29
* Synthesis support for SystemVerilog interfacesRuben Undheim2018-10-121-2/+46
* Fix for issue 594.Tom Verbeure2018-10-021-1/+2
* Convert more log_error() to log_file_error() where possible.Henner Zeller2018-07-201-71/+69
* Use log_file_warning(), log_file_error() functions.Henner Zeller2018-07-201-16/+16
* Provide source-location logging.Henner Zeller2018-07-191-3/+2
* Fix handling of signed memoriesClifford Wolf2018-06-281-0/+3
* Add (* gclk *) attribute supportClifford Wolf2018-06-011-0/+9
* Add $allconst and $allseq cell typesClifford Wolf2018-02-231-2/+2
* Fix error handling for nested always/initialClifford Wolf2017-12-021-0/+2
* Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand cons...Clifford Wolf2017-06-071-0/+7
* Add $live and $fair cell types, add support for s_eventually keywordClifford Wolf2017-02-251-1/+6
* Add $cover cell type and SVA cover() supportClifford Wolf2017-02-041-0/+2
* Some fixes in handling of signed arraysClifford Wolf2016-11-011-0/+1
* Added $anyseq cell typeClifford Wolf2016-10-141-2/+2
* Added $global_clock verilog syntax support for creating $ff cellsClifford Wolf2016-10-141-4/+11
* Added $past, $stable, $rose, $fell SVA functionsClifford Wolf2016-09-191-0/+10
* Added assertpmuxClifford Wolf2016-09-071-0/+1
* Added $anyconst support to yosys-smtbmcClifford Wolf2016-08-301-0/+2
* Removed $aconst cell typeClifford Wolf2016-08-301-3/+3
* Removed $predict againClifford Wolf2016-08-281-2/+0
* Another bugfix in mem2reg codeClifford Wolf2016-08-211-0/+2
* Optimize memory address port width in wreduce and memory_collect, not verilog...Clifford Wolf2016-08-191-4/+8
* Only allow posedge/negedge with 1 bit wide signalsClifford Wolf2016-08-101-0/+2
* Added $anyconst and $aconstClifford Wolf2016-07-271-0/+45
* After reading the SV spec, using non-standard predict() instead of expect()Clifford Wolf2016-07-211-2/+2
* Added basic support for $expect cellsClifford Wolf2016-07-131-2/+7
* Added support for SystemVerilog packages with localparam definitionsRuben Undheim2016-06-181-0/+1
* Fixed procedural assignments to non-unique lvalues, e.g. {y,y} = {a,b}Clifford Wolf2016-05-271-0/+11
* fixed typos in error messagesClifford Wolf2016-05-271-3/+3
* Fixed handling of parameters and const functions in casex/casez patternClifford Wolf2016-04-211-2/+4
* Fixed some visual studio warningsClifford Wolf2016-02-131-1/+1
* genrtlil: avoid converting SigSpec to set<SigBit> when going through removeSi...Rick Altherr2016-01-311-3/+3
* Fixed handling of parameters and localparams in functionsClifford Wolf2015-11-111-0/+5
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-251-20/+20
* Added read-enable to memory modelClifford Wolf2015-09-251-0/+1
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-141-7/+7
* Added WORDS parameter to $meminitClifford Wolf2015-07-311-1/+9
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
* Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker()Clifford Wolf2015-03-011-2/+4