aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/README
Commit message (Expand)AuthorAgeFilesLines
* Update READMEMiodrag Milanović2022-07-281-1/+1
* Update READMEClaire Xen2021-03-041-4/+4
* Send people to symbioticeda.com instead of verific.comClifford Wolf2019-12-181-2/+6
* 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