aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/README
Commit message (Expand)AuthorAgeFilesLines
* Fix spellingEddie Hung2019-03-091-1/+1
* Remove -m32 Verific eval lib build instructionsClifford Wolf2019-01-041-29/+0
* Update Verific READMEClifford Wolf2017-10-131-0/+7
* Improve docs for verific bindings, add simply sby exampleClifford Wolf2017-07-221-0/+55