From: chc (chengch_at_fcu.edu.tw)
Date: Sun Jul 25 2004 - 20:53:20 MDT
Dear Prof. Wang:
Hope we could luky to be as the test site of VIS-2.1.
Best Regards,
cheng-hwa cheng
(ECE Department, Feng-Chia University, Taiwan)
----- Original Message -----
From: "Chao Wang" <Wangc_at_Colorado.EDU>
To: "VIS Mailing List" <vis-users_at_Colorado.EDU>
Sent: Sunday, July 25, 2004 2:04 AM
Subject: Porting & Testing Volunteers for VIS-2.1
> 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 : Sun Jul 25 2004 - 20:54:58 MDT