summaryrefslogtreecommitdiff
path: root/frontends/verific/build_amd64.txt
Commit message (Expand)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