summaryrefslogtreecommitdiff
path: root/frontends
Commit message (Collapse)AuthorAge
* genrtlil: avoid converting SigSpec to set<SigBit> when going through ↵Rick Altherr2016-01-31
| | | | removeSignalFromCaseTree()
* Various improvements in BLIF front-endClifford Wolf2015-12-20
|
* Fixed oom bug in ilang parserClifford Wolf2015-11-29
|
* Fixed performance bug in ilang parserClifford Wolf2015-11-27
|
* Added PRIM_DLATCHRS support to verific front-endClifford Wolf2015-11-24
|
* Fixed handling of re-declarations of wires in tasks and functionsClifford Wolf2015-11-23
|
* Fixed performance bug in Verific importerClifford Wolf2015-11-16
|
* Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-12
|
* More bugfixes in handling of parameters in tasks and functionsClifford Wolf2015-11-12
|
* Fixed handling of parameters and localparams in functionsClifford Wolf2015-11-11
|
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-25
|
* Fixed bug in verilog parserClifford Wolf2015-10-15
|
* 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
| | | | Smaller this time
* 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
| | | | This is based on work done by Larry Doolittle
* 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
|