Update remaining quickstart examples
authorClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 16:21:38 +0000 (18:21 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 16:21:38 +0000 (18:21 +0200)
commit2fa29974dd32d069c790fe05cdb4de3ed767c47c
treeb9ac975415797da3879f2d1eab743a81e105ace6
parent45a11da8eaf7685ff242590227960ef910adb906
Update remaining quickstart examples

Signed-off-by: Clifford Wolf <clifford@clifford.at>
docs/examples/quickstart/cover.sby
docs/examples/quickstart/cover.sv [new file with mode: 0644]
docs/examples/quickstart/cover.v [deleted file]
docs/examples/quickstart/memory.sby
docs/examples/quickstart/memory.sv [new file with mode: 0644]
docs/examples/quickstart/memory.v [deleted file]
docs/examples/quickstart/prove.sby
docs/examples/quickstart/prove.sv [new file with mode: 0644]
docs/examples/quickstart/prove.v [deleted file]
docs/source/quickstart.rst