From: Chao Wang (Wangc_at_colorado.edu)
Date: Sat Jul 24 2004 - 12:04:07 MDT
Dear VIS-users:
The VIS developing team is about to release VIS-2.1. Many interesting
features have been added into this new version (a circuit SAT solver, new
image computation algorithms, Fate-and-Free-Will counter-example
generation, general BMC induction proof, LTL/CTL vacuity detection,
several powerful BDD- and SAT-based abstraction refinement algorithms, a
BLIF->SMV translator, etc.). The developing team has computing resources
to support the following platforms:
RedHat Linux
Solaris
AIX
Cygwin
HP
If you are interested in running VIS on other platforms, and want to help
with the porting & testing on those platforms, please send an email to
Chao.Wang_at_Colorado.Edu. We will send you the tar ball and the testing
script in a couple of weeks.
Chao Wang
on behalf of the VIS developing team
This archive was generated by hypermail 2.1.7 : Sat Jul 24 2004 - 12:05:52 MDT