Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New upstream version 0.7+20180830git0b7a184 | Ruben Undheim | 2018-08-30 |
* | Updated verific build instructions | Clifford Wolf | 2016-02-02 |
* | Verific build fixes | Clifford Wolf | 2015-05-17 |
* | Added "ENABLE_PLUGINS := 0" to verific amd64 build instructions | Clifford Wolf | 2014-11-08 |
* | Corrected spelling mistakes found by lintian | Ruben Undheim | 2014-09-06 |
* | Fixed building verific bindings | Clifford Wolf | 2014-08-12 |
* | Updated verific build/test instructions | Clifford Wolf | 2014-07-25 |
* | Various fixes in Verific frontend for new RTLIL API | Clifford Wolf | 2014-07-23 |