Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New upstream version 0.7+20180830git0b7a184 | Ruben Undheim | 2018-08-30 |
* | Updated verific build/test instructions | Clifford Wolf | 2014-07-25 |
* | Added support for memories to verific bindings | Clifford Wolf | 2014-03-16 |
* | Added test_navre.ys for verific frontend | Clifford Wolf | 2014-03-13 |