aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/README
Commit message (Collapse)AuthorAgeFilesLines
* Fix spellingEddie Hung2019-03-091-1/+1
|
* Remove -m32 Verific eval lib build instructionsClifford Wolf2019-01-041-29/+0
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update Verific READMEClifford Wolf2017-10-131-0/+7
|
* Improve docs for verific bindings, add simply sby exampleClifford Wolf2017-07-221-0/+55