summaryrefslogtreecommitdiff
path: root/frontends/verific/build_amd64.txt
Commit message (Collapse)AuthorAge
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
|
* Updated verific build instructionsClifford Wolf2016-02-02
|
* Verific build fixesClifford Wolf2015-05-17
|
* Added "ENABLE_PLUGINS := 0" to verific amd64 build instructionsClifford Wolf2014-11-08
|
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
|
* Fixed building verific bindingsClifford Wolf2014-08-12
|
* Updated verific build/test instructionsClifford Wolf2014-07-25
|
* Various fixes in Verific frontend for new RTLIL APIClifford Wolf2014-07-23