aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast/simplify.cc
Commit message (Collapse)AuthorAgeFilesLines
...
* Fixed merging of compatible wire decls in AST frontendClifford Wolf2014-03-051-1/+4
|
* Bugfix in recursive AST simplificationClifford Wolf2014-03-051-10/+22
|
* Fixed bug in generation of undefs for $memwr MUXesClifford Wolf2014-02-221-4/+6
|
* Improved support for constant functionsClifford Wolf2014-02-161-1/+50
|
* Be more conservative with new const-function codeClifford Wolf2014-02-141-1/+5
|
* Added support for FOR loops in function calls in parametersClifford Wolf2014-02-141-0/+41
|
* Created basic support for function calls in parameter valuesClifford Wolf2014-02-141-41/+171
|
* Fixed gcc compiler warnings with release buildClifford Wolf2014-02-061-1/+1
|
* Fixed bug in sequential sat proofs and improved handling of assertsClifford Wolf2014-02-041-0/+2
|
* Added constant size expression support of sized constantsClifford Wolf2014-02-011-0/+12
|
* Bugfix in name resolution with generate blocksClifford Wolf2014-01-301-1/+1
|
* Fixed algorithmic complexity of AST simplification of long expressionsClifford Wolf2014-01-201-6/+9
|
* Added $assert cellClifford Wolf2014-01-191-0/+60
|
* Fixed typo in frontends/ast/simplify.ccClifford Wolf2014-01-121-1/+1
|
* Fixed a stupid access after delete bugClifford Wolf2013-12-291-1/+2
|
* Added proper === and !== support in constant expressionsClifford Wolf2013-12-271-6/+10
|
* Keep strings as strings in const ternary and concatClifford Wolf2013-12-051-3/+10
|
* Added const folding support for $signed and $unsignedClifford Wolf2013-12-051-0/+7
|
* Fixed generate-for (and disabled double warning for auto-wire)Clifford Wolf2013-12-041-1/+5
|
* Added support for $clog2 system functionClifford Wolf2013-12-041-4/+20
|
* Various improvements in support for generate statementsClifford Wolf2013-12-041-2/+78
|
* Added support for local regs in named blocksClifford Wolf2013-12-041-0/+21
|
* Early wire/reg/parameter width calculation in ast/simplifyClifford Wolf2013-11-241-0/+5
|
* Fixed async proc detection in mem2regClifford Wolf2013-11-211-5/+9
|
* Major improvements in mem2reg and added "init" sync rulesClifford Wolf2013-11-211-82/+198
|
* Another name resolution bugfix for generate blocksClifford Wolf2013-11-201-4/+13
|
* Do not allow memory bit select on the left side of an assignmentClifford Wolf2013-11-201-1/+1
|
* Fixed name resolution of local tasks and functions in generate blockClifford Wolf2013-11-201-2/+16
|
* Implemented part/bit select on memory readClifford Wolf2013-11-201-2/+51
|
* Fixed two bugs in mem2reg functionality in AST frontendClifford Wolf2013-11-181-4/+8
|
* Fixed mem2reg for reg usage outside always blockClifford Wolf2013-11-181-1/+1
|
* Fixed handling of different signedness in power operandsClifford Wolf2013-11-081-1/+1
|
* Implemented const folding of ternary op with undef selectClifford Wolf2013-11-081-0/+8
|
* Fixed handling of power operatorClifford Wolf2013-11-071-2/+2
|
* Fixed more extend vs. extend_u0 issuesClifford Wolf2013-11-071-1/+1
|
* Disabled const folding of ternary op when select is undefClifford Wolf2013-11-071-2/+14
|
* Fixed sign handling in constantsClifford Wolf2013-11-071-0/+1
|
* Fixed const folding in corner cases with parametersClifford Wolf2013-11-071-10/+20
|
* Fixed at_zero evaluation of dynamic rangesClifford Wolf2013-11-071-7/+2
|
* Various fixes for correct parameter supportClifford Wolf2013-11-071-0/+25
|
* Another fix for early width and sign detection in ast simplifierClifford Wolf2013-11-041-2/+3
|
* Fixed const folding of ternary operatorClifford Wolf2013-11-041-4/+5
|
* Use proper bit width ans sign extension for const foldingClifford Wolf2013-11-041-17/+18
|
* Fixes for early width and sign detection in ast simplifierClifford Wolf2013-11-041-1/+2
|
* further improved early width and sign detection in ast simplifierClifford Wolf2013-11-041-9/+112
|
* Behavior should be identical now to rev. 0b4a64ac6adbd6 (next: testing ↵Clifford Wolf2013-11-021-2/+4
| | | | before constfold fixes)
* Various ast changes for early expression width detection (prep for constfold ↵Clifford Wolf2013-11-021-13/+38
| | | | fixes)
* Fixed handling of boolean attributes (frontends)Clifford Wolf2013-10-241-8/+8
|
* Added support for notif0/notif1 primitivesJohann Glaser2013-08-201-3/+7
|
* Added support for bufif0/bufif1 primitivesClifford Wolf2013-08-191-32/+58
|