summaryrefslogtreecommitdiff
path: root/frontends/verilog/const2ast.cc
Commit message (Collapse)AuthorAge
* Improved parsing of large integer constantsClifford Wolf2014-06-15
|
* Fixed handling of unsized constants in verilog frontendClifford Wolf2014-01-24
|
* Major redesign of expr width/sign detecion (verilog/ast frontend)Clifford Wolf2013-07-09
|
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07
|
* initial importClifford Wolf2013-01-05