Update Verific README
authorClifford Wolf <clifford@clifford.at>
Fri, 13 Oct 2017 15:11:46 +0000 (17:11 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 13 Oct 2017 15:11:53 +0000 (17:11 +0200)
commit05068af88041d8fffbece6ec94f240c7ae3e4f54
tree33a054c66fbacfa27a4982d881e4e87f425384f1
parentd565bc4a826b45a542699c5d7b085170ef4981b4
Update Verific README
frontends/verific/README