cvs commit: ports/devel Makefile ports/devel/smv Makefile distinfo
pkg-descr pkg-plist ports/devel/smv/files patch-bdd.c patch-hash.c
patch-node.c patch-storage.c patch-storage.h patch-string.c
Pav Lucistnik
pav at FreeBSD.org
Fri Dec 12 17:22:10 PST 2003
pav 2003/12/12 17:22:09 PST
FreeBSD ports repository
Modified files:
devel Makefile
Added files:
devel/smv Makefile distinfo pkg-descr pkg-plist
devel/smv/files patch-bdd.c patch-hash.c patch-node.c
patch-storage.c patch-storage.h
patch-string.c
Log:
Add The SMV (Symbolic Model Verifier), a tool for
checking finite state systems against specifications
the temporal logic CTL (Computational Tree Logic).
PR: ports/59429
Submitted by: Marc van Woerkom <marc.vanwoerkom at fernuni-hagen.de>
Revision Changes Path
1.1371 +1 -0 ports/devel/Makefile
1.1 +48 -0 ports/devel/smv/Makefile (new)
1.1 +1 -0 ports/devel/smv/distinfo (new)
1.1 +51 -0 ports/devel/smv/files/patch-bdd.c (new)
1.1 +17 -0 ports/devel/smv/files/patch-hash.c (new)
1.1 +19 -0 ports/devel/smv/files/patch-node.c (new)
1.1 +39 -0 ports/devel/smv/files/patch-storage.c (new)
1.1 +13 -0 ports/devel/smv/files/patch-storage.h (new)
1.1 +10 -0 ports/devel/smv/files/patch-string.c (new)
1.1 +14 -0 ports/devel/smv/pkg-descr (new)
1.1 +20 -0 ports/devel/smv/pkg-plist (new)
More information about the cvs-all
mailing list