Improve docs for verific bindings, add simply sby example
authorClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 09:58:51 +0000 (11:58 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 09:58:51 +0000 (11:58 +0200)
commit2785aaffeb66575128da1f68044dd317660e0f3b
tree864b248092eaa6a8096ecb45ba7fc5438d1af034
parentb3bc7068d1683cc0ac0b21cacdfb07867a7eeadb
Improve docs for verific bindings, add simply sby example
frontends/verific/README [new file with mode: 0644]
frontends/verific/build_amd64.txt [deleted file]
frontends/verific/example.sby [new file with mode: 0644]
frontends/verific/example.sv [new file with mode: 0644]
frontends/verific/test_navre.ys [deleted file]