./wip/vis, Classic logic verification tool

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 2.1, Package name: vis-2.1, Maintainer: dhowland

VIS is a system for formal verification, synthesis, and simulation of finite
state systems. It has been developed jointly at the University of California
at Berkeley, the University of Colorado at Boulder, and more recently at the
University of Texas, Austin.


Required to run:
[devel/bison]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 43239c636cdd067c5255cd5db256cc74cf19e2fa
RMD160: 0e4b924eab061a4285b96752307047fc9c3b1c9f
Filesize: 2152.239 KB

Version history: (Expand)


CVS history: (Expand)


   2012-10-07 19:41:39 by Aleksej Saushev | Files touched by this commit (52)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2009-10-11 12:45:10 by Thomas Klausner | Files touched by this commit (261)
Log message:
Remove obsolete @dirrm lines.
   2008-02-03 18:42:50 by Tobias Nygren | Files touched by this commit (2)
Log message:
PKGMANDIR
   2006-11-25 12:50:59 by Sergey Svishchev | Files touched by this commit (14)
Log message:
Low-hanging fruit: whitespace, PLIST sorting, HTTP redirects, USE_LANGUAGES

   2006-11-15 05:00:50 by David Howland | Files touched by this commit (5) | Imported package
Log message:
VIS is a system for formal verification, synthesis, and simulation of finite
state systems. It has been developed jointly at the University of California
at Berkeley, the University of Colorado at Boulder, and more recently at the
University of Texas, Austin.