Name | Modified | Size | Downloads / Week |
---|---|---|---|
vimes-0.2.9.tar.gz | 2012-10-27 | 3.2 MB | |
MANPAGE | 2012-10-27 | 8.7 kB | |
vimes-0.2.8.tar.gz | 2012-07-18 | 3.2 MB | |
vimes-0.2.7.tar.gz | 2011-11-29 | 2.7 MB | |
vimes-0.2.6.tar.gz | 2011-10-21 | 2.7 MB | |
vimes-0.2.5.tar.gz | 2011-06-04 | 2.7 MB | |
README | 2011-06-01 | 586 Bytes | |
vimes-0.2.4.1.tar.gz | 2011-05-07 | 2.5 MB | |
Totals: 8 Items | 17.1 MB | 0 |
This is the Vital Mission Software Z Type Checker, also known as Vimes. It accepts Z specifications in the form of LaTeX source marked up using the LaTeX markup given in the standard (with a few extras from oz.sty) and reports syntax and type errors. The man page gives more detail. The Z notation supported is that ISO-13568:2002. This package may be installed by following the instructions in INSTALL. Generally `./configure; make; make install' is sufficient. An optional `make check' runs over two hundred tests. This package requires the popt library, version 1.14 or later.