aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/README
Commit message (Collapse)AuthorAgeFilesLines
* Send people to symbioticeda.com instead of verific.comClifford Wolf2019-12-181-2/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* 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