aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast
Commit message (Expand)AuthorAgeFilesLines
* Implemented dynamic bit-/part-select for memory writesClifford Wolf2014-07-171-2/+26
* Added support for bit/part select to mem2reg rewriterClifford Wolf2014-07-171-0/+9
* Added support for constant bit- or part-select for memory writesClifford Wolf2014-07-171-9/+36
* changes in verilog frontend for new $mem/$memwr WR_EN interfaceClifford Wolf2014-07-162-7/+6
* Fixed processing of initial values for block-local variablesClifford Wolf2014-07-111-0/+5
* Fixed handling of mixed real/int ternary expressionsClifford Wolf2014-06-251-0/+16
* More found_real-related fixes to AstNode::detectSignWidthWorkerClifford Wolf2014-06-241-6/+6
* fixed signdness detection for expressions with realsClifford Wolf2014-06-211-2/+8
* Added AstNode::MEM2REG_FL_CMPLX_LHSClifford Wolf2014-06-172-0/+23
* Improved handling of relational op of real valuesClifford Wolf2014-06-171-8/+9
* Improved ternary support for real valuesClifford Wolf2014-06-161-13/+24
* Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012Clifford Wolf2014-06-162-0/+11
* Added found_real feature to AstNode::detectSignWidthClifford Wolf2014-06-162-6/+11
* Improved AstNode::realAsConst for large numbersClifford Wolf2014-06-151-1/+1
* Improved AstNode::asReal for large integersClifford Wolf2014-06-152-10/+13
* improved (fixed) conversion of real values to bit vectorsClifford Wolf2014-06-144-11/+30
* Fixed relational operators for const real expressionsClifford Wolf2014-06-141-8/+8
* Added support for math functionsClifford Wolf2014-06-141-0/+70
* Added handling of real-valued parameters/localparamsClifford Wolf2014-06-142-17/+47
* Implemented more real arithmeticClifford Wolf2014-06-141-27/+70
* Implemented basic real arithmeticClifford Wolf2014-06-143-6/+51
* Added real->int convertion in ast genrtlilClifford Wolf2014-06-141-0/+12
* Added Verilog lexer and parser support for real valuesClifford Wolf2014-06-132-0/+7
* Add support for cell arraysClifford Wolf2014-06-073-0/+27
* Added support for repeat stmt in const functionsClifford Wolf2014-06-071-0/+19
* further improved const function supportClifford Wolf2014-06-073-17/+22
* improved const function supportClifford Wolf2014-06-063-5/+41
* fix functions with no block (but single statement, loop, etc.)Clifford Wolf2014-06-061-11/+4
* improved ast simplify of const functionsClifford Wolf2014-06-061-7/+28
* added while and repeat support to verilog parserClifford Wolf2014-06-062-0/+2
* Include id2ast pointers when dumping ASTClifford Wolf2014-03-051-0/+6
* 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 bit-extending in $mux argument (use $bu0 instead of $pos)Clifford Wolf2014-02-261-5/+5
* Don't blow up constants unneccessarily in Verilog frontendClifford Wolf2014-02-241-1/+1
* Fixed bug in generation of undefs for $memwr MUXesClifford Wolf2014-02-221-4/+6
* Cleanups in handling of read_verilog -defer and -icellsClifford Wolf2014-02-201-6/+7
* Added Verilog support for "`default_nettype none"Clifford Wolf2014-02-173-6/+13
* Improved support for constant functionsClifford Wolf2014-02-161-1/+50
* Correctly convert constants to RTLIL (fixed undef handling)Clifford Wolf2014-02-151-11/+1
* 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-143-0/+43
* Created basic support for function calls in parameter valuesClifford Wolf2014-02-144-49/+184
* Implemented read_verilog -deferClifford Wolf2014-02-132-58/+79
* 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 TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-031-0/+1
* Added constant size expression support of sized constantsClifford Wolf2014-02-014-0/+22
* Bugfix in name resolution with generate blocksClifford Wolf2014-01-301-1/+1
* Added read_verilog -icells optionClifford Wolf2014-01-293-5/+11