summaryrefslogtreecommitdiff
path: root/frontends
Commit message (Expand)AuthorAge
* SystemVerilog also has assume(), added implicit -D FORMALClifford Wolf2015-10-13
* Added support for "parameter" and "localparam" in global contextClifford Wolf2015-10-07
* Fixed complexity of assigning to vectors in constant functionsClifford Wolf2015-10-01
* Fixed detection of unconditional $readmem[hb]Clifford Wolf2015-09-30
* Bugfixes in $readmem[hb]Clifford Wolf2015-09-25
* Fixed segfault in AstNode::asRealClifford Wolf2015-09-25
* Added read-enable to memory modelClifford Wolf2015-09-25
* Fixed AstNode::mkconst_bits() segfault on zero-sized constantClifford Wolf2015-09-24
* Added read_verilog -nodpiClifford Wolf2015-09-23
* Bugfix in handling of multi-dimensional memoriesClifford Wolf2015-09-23
* Warning for $display/$write outside initial blockClifford Wolf2015-09-23
* Fixed support for $write system taskClifford Wolf2015-09-23
* Fixed detection of "task foo(bar);" syntax errorClifford Wolf2015-09-22
* Fixed multi-level prefix resolvingClifford Wolf2015-09-22
* Fixed segfault on invalid verilog constant 1'b_Clifford Wolf2015-09-22
* Improvements to $display system taskAndrew Zonenberg2015-09-19
* Added AST_INITIAL checks for $finish and $displayClifford Wolf2015-09-18
* Initial implementation of $display()Andrew Zonenberg2015-09-18
* Initial implementation of $finish()Andrew Zonenberg2015-09-18
* gcc-4.6 build fixesClifford Wolf2015-09-01
* Fixed handling of memory read without addressClifford Wolf2015-08-22
* Small corrections to const2ast warning messagesClifford Wolf2015-08-17
* Check base-n literals only contain valid digitsFlorian Zeitz2015-08-17
* Warn on literals exceeding the specified bit widthFlorian Zeitz2015-08-17
* Another block of spelling fixesLarry Doolittle2015-08-14
* Keep gcc from complaining about uninitialized variablesLarry Doolittle2015-08-14
* Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-14
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
* Adjust makefiles to work with out-of-tree buildsClifford Wolf2015-08-12
* Fixed handling of [a-fxz?] in decimal constantsClifford Wolf2015-08-11
* Add -noautowire option to verilog frontendMarcus Comstedt2015-08-01
* Added WORDS parameter to $meminitClifford Wolf2015-07-31
* Fixed nested mem2regClifford Wolf2015-07-29
* Fixed trailing whitespacesClifford Wolf2015-07-02
* Fixed handling of parameters with reversed rangeClifford Wolf2015-06-08
* Fixed signedness of genvar expressionsClifford Wolf2015-05-29
* Improvements in BLIF front-endClifford Wolf2015-05-24
* bugfix in blif front-endClifford Wolf2015-05-18
* Improved .latch support in BLIF front-endClifford Wolf2015-05-17
* Added read_blif commandClifford Wolf2015-05-17
* Generalized blifparse APIClifford Wolf2015-05-17
* abc/blifparse files reorganizationClifford Wolf2015-05-17
* Verific build fixesClifford Wolf2015-05-17
* Verilog front-end: define `BLACKBOX in -lib modeClifford Wolf2015-04-19
* Ignore celldefine directive in verilog front-endClifford Wolf2015-03-25
* Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker()Clifford Wolf2015-03-01
* Added non-std verilog assume() statementClifford Wolf2015-02-26
* Added deep recursion warning to AST simplifyClifford Wolf2015-02-20
* Parser support for complex delay expressionsClifford Wolf2015-02-20
* YosysJS stuffClifford Wolf2015-02-19