Skip to content

CVC v1.1.0
Compare
Choose a tag to compare
@d-m-bailey d-m-bailey released this 18 Dec 03:54
· 36 commits to master since this release
v1.1.0
c6551a0

Preliminary introduction of model checks.
Currently only supports Vb.
No check_cvc support

download tarball
extract
cd cvc-1.1.0
./configure --disable-nls
make install

Assets 3
Loading