Date: Fri, 12 Dec 2003 17:22:09 -0800 (PST) From: Pav Lucistnik <pav@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: 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 Message-ID: <200312130122.hBD1M9lY073735@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200312130122.hBD1M9lY073735>