Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various fixes for correct parameter support | Clifford Wolf | 2013-11-07 | 1 | -26/+52 |
* | Fixed handling of boolean attributes (frontends) | Clifford Wolf | 2013-10-24 | 1 | -2/+2 |
* | Fixed handling of boolean attributes (kernel) | Clifford Wolf | 2013-10-24 | 1 | -1/+1 |
* | Added defparam support to Verilog/AST frontend | Clifford Wolf | 2013-07-04 | 1 | -9/+39 |
* | More fixes for bugs found using xsthammer | Clifford Wolf | 2013-06-13 | 1 | -2/+12 |
* | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 1 | -0/+2 |
* | Added AST_INITIAL (before verilog "initial" was mapped to AST_ALWAYS) | Clifford Wolf | 2013-03-31 | 1 | -1/+1 |
* | Tiny fixes to verilog parser | Clifford Wolf | 2013-03-23 | 1 | -1/+6 |
* | Added support for verilog genblock[index].member syntax | Clifford Wolf | 2013-02-26 | 1 | -10/+16 |
* | Added support for "always @(*)" | Clifford Wolf | 2013-01-16 | 1 | -0/+3 |
* | initial import | Clifford Wolf | 2013-01-05 | 1 | -0/+1074 |