aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verilog
Commit message (Expand)AuthorAgeFilesLines
* Major redesign of expr width/sign detecion (verilog/ast frontend)Clifford Wolf2013-07-091-1/+1
* Added defparam support to Verilog/AST frontendClifford Wolf2013-07-042-10/+41
* More fixes for bugs found using xsthammerClifford Wolf2013-06-132-4/+14
* Further improved and extended xsthammerClifford Wolf2013-06-111-0/+1
* Enabled AST/Verilog front-end optimizations per defaultClifford Wolf2013-06-101-1/+10
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-072-3/+4
* added option '-Dname[=definition]' to command 'read_verilog'Johann Glaser2013-05-193-4/+19
* Added support for verilog === operatorClifford Wolf2013-05-071-0/+2
* Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS)Clifford Wolf2013-03-311-1/+1
* Implemented proper handling of stub placeholder modulesClifford Wolf2013-03-281-1/+9
* Improvements and bugfixes for generate blocks with local signalsClifford Wolf2013-03-261-1/+1
* Added mem2reg option to verilog frontendClifford Wolf2013-03-241-1/+11
* Tiny fixes to verilog parserClifford Wolf2013-03-231-1/+6
* Added help messages to ilang and verilog frontendsClifford Wolf2013-03-011-1/+46
* Moved stand-alone libs to libs/ directory and added libs/subcircuitClifford Wolf2013-02-271-1/+1
* Added support for verilog genblock[index].member syntaxClifford Wolf2013-02-261-10/+16
* Added support for "always @(*)"Clifford Wolf2013-01-161-0/+3
* added .gitignore filesClifford Wolf2013-01-051-0/+4
* initial importClifford Wolf2013-01-057-0/+2124