Download

Note: Please, be aware that this is beta software. It has been developed and mainly tested over Suse 8.1/8.2/9.0/9.1/9.3/10.0 Linux distribution, although it should work (maybe with minor modifications) over other Linux distributions (successfull tests over Red Hat 7.3/8.0/9.0 and FC4, Slackware 8.1, Mandrake 10.0 and Debian 3.0/3.1/4.0/5.0 have been already done). [mailto:vnuml-at-dit.upm.es Let us know] if you test VNUML over other distributions to include the information here.

VNUML core components
You can also get old releases, but you should use always the newest stable release.

APT installation
If you are using a .deb based distro (like Debian or Ubuntu) you can install VNUML using APT. Just add the following to your sources.list file:

deb http://jungla.dit.upm.es/~vnuml/debian binary/

To test beta and release candidate releases add the following APT repository (include both):

deb http://jungla.dit.upm.es/~vnuml/debian-testing binary/

To install the packages:


 * VNUML. You can install VNUML and the UML kernel using APT (details here.):

apt-get update apt-get install vnuml apt-get install linux-um


 * EDIV. You can install EDIV with (details here)

apt-get install ediv

About VNUML versions and numbering

 * VNUML language (in fact the DTD for the VNUML files) is identified by two version numbers, for example, VNUML DTD 1.2.
 * VNUML parser is identified by three version numbers. The first two numbers refers to the VNUML DTD version the parser works with. For example, vnumlparser.pl 1.2.1 works with VNUML DTD 1.2 files.
 * The first public releases were VNUML DTD 1.2 and vnumlparser.pl 1.2.1.
 * Since 1.8.0, odd-ended versions are stable ones and even-ended versions are testing ones (in fact, even-ended versions are always suffixed like in: 1.8.0test1, 1.8.2beta1, 1.8.2rc1, etc.). See this post for details.