Re: Getting vl2mv 1.0 or later version

From: Roderick Bloem (rbloem@yahoo.com)
Date: Thu Nov 30 2000 - 03:16:48 MST

Next message: Paritosh Pandya: "Announcing an extension of VIS model checking to CTL with past + timing"

Previous message: Roderick Bloem: "Re: Seeking advice on oddities in VIS installation process"
In reply to: Neeraj Joshi: "Getting vl2mv 1.0 or later version"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

There are two incomparable versions of vl2mv 0.2. The sources and some
precompiled binaries are available from
ftp://vlsi.colorado.edu/pub/vl2mv/. If you downloaded vl2mv with vis,
then you have the latest version, but that is not necessarily the best
one.

roderick.

Neeraj Joshi wrote:
>
> Hello,
>
> How do I get the latest version of vl2mv? The version of vl2mv that is
> kept on the ftp sites
> at Berleley and Colorado is 0.2. This version dumps core on most of
> Texas-97 Verification Benchmarks.
>
> Thanks,
> Neeraj

_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com

Next message: Paritosh Pandya: "Announcing an extension of VIS model checking to CTL with past + timing"
Previous message: Roderick Bloem: "Re: Seeking advice on oddities in VIS installation process"
In reply to: Neeraj Joshi: "Getting vl2mv 1.0 or later version"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b29 : Thu Nov 30 2000 - 16:31:10 MST