aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/ast
Commit message (Expand)AuthorAgeFilesLines
...
* 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-042-11/+117
* Fixed detectSignWidthWorker (ast frontend) for AST_CONCATClifford Wolf2013-11-031-1/+1
* Behavior should be identical now to rev. 0b4a64ac6adbd6 (next: testing before...Clifford Wolf2013-11-022-2/+6
* Various ast changes for early expression width detection (prep for constfold ...Clifford Wolf2013-11-024-30/+139
* Fixed handling of boolean attributes (frontends)Clifford Wolf2013-10-244-12/+27
* Added support for notif0/notif1 primitivesJohann Glaser2013-08-201-3/+7
* Fixed width and sign detection for ** operatorClifford Wolf2013-08-191-3/+3
* Added support for bufif0/bufif1 primitivesClifford Wolf2013-08-191-32/+58
* Improved ast dumping (ast/verilog frontend)Clifford Wolf2013-08-193-52/+24
* Added support for "2**n" shifter encodingClifford Wolf2013-08-121-0/+4
* Added $div and $mod technology mappingClifford Wolf2013-08-091-1/+1
* Added "design" command (-reset, -save, -load)Clifford Wolf2013-07-272-0/+16
* More fixes in ternary op sign handlingClifford Wolf2013-07-121-0/+3
* Fixed sign handling in ternary operatorClifford Wolf2013-07-121-2/+2
* Another vloghammer related bugfixClifford Wolf2013-07-111-1/+1
* Fixed sign propagation in bit-wise operatorsClifford Wolf2013-07-091-0/+1
* More fixes in ast expression sign/width handlingClifford Wolf2013-07-091-9/+8
* Major redesign of expr width/sign detecion (verilog/ast frontend)Clifford Wolf2013-07-092-34/+168
* Fixed another bug found using vloghammerClifford Wolf2013-07-071-1/+1
* Fixed AST_CONSTANT node generationClifford Wolf2013-07-071-1/+1
* Added defparam support to Verilog/AST frontendClifford Wolf2013-07-044-3/+22
* More fixes for bugs found using xsthammerClifford Wolf2013-06-131-4/+2
* Sign-extension related fixes in SatGen and AST frontendClifford Wolf2013-06-101-0/+2
* Fixes and improvements in AST const foldingClifford Wolf2013-06-102-1/+11
* Enabled AST/Verilog front-end optimizations per defaultClifford Wolf2013-06-104-10/+20
* Added log_assert() apiClifford Wolf2013-05-241-2/+1
* Merge branch 'bugfix'Clifford Wolf2013-05-161-2/+0
|\
| * Fixed synthesis of functions in latched blocksClifford Wolf2013-05-161-2/+0
* | Fixed handling of positional module parametersClifford Wolf2013-04-261-6/+4
* | Only use sha1 checksums for names of parametric modules when the verbose form...Clifford Wolf2013-04-261-9/+20
* | Fixed a bug in AST frontend for cases with non-blocking assigned variables as...Clifford Wolf2013-04-131-4/+4
* | Now only use value from "initial" when no matching "always" block is foundClifford Wolf2013-03-313-7/+31
* | Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS)Clifford Wolf2013-03-314-2/+14
* | Implemented proper handling of stub placeholder modulesClifford Wolf2013-03-282-5/+21
* | Improvements and bugfixes for generate blocks with local signalsClifford Wolf2013-03-261-3/+1
* | Fixed handling of unconditional generate blocksClifford Wolf2013-03-262-1/+19
|/
* Added nosync attribute and some async reset related fixesClifford Wolf2013-03-253-34/+16
* Added mem2reg option to verilog frontendClifford Wolf2013-03-243-10/+17
* Another fix in mem2reg ast simplify logicClifford Wolf2013-03-241-1/+3
* Improved mem2reg handling in ast simplifierClifford Wolf2013-03-242-5/+35
* Tiny fixes to verilog parserClifford Wolf2013-03-231-0/+3
* Moved stand-alone libs to libs/ directory and added libs/subcircuitClifford Wolf2013-02-273-3/+3
* Added support for verilog genblock[index].member syntaxClifford Wolf2013-02-263-1/+17
* initial importClifford Wolf2013-01-055-0/+3227