Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added defparam support to Verilog/AST frontend | Clifford Wolf | 2013-07-04 |
* | More fixes for bugs found using xsthammer | Clifford Wolf | 2013-06-13 |
* | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 |
* | Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS) | Clifford Wolf | 2013-03-31 |
* | Tiny fixes to verilog parser | Clifford Wolf | 2013-03-23 |
* | Added support for verilog genblock[index].member syntax | Clifford Wolf | 2013-02-26 |
* | Added support for "always @(*)" | Clifford Wolf | 2013-01-16 |
* | initial import | Clifford Wolf | 2013-01-05 |