From owner-cvs-all@FreeBSD.ORG  Fri Dec 12 17:22:10 2003
Return-Path: <owner-cvs-all@FreeBSD.ORG>
Delivered-To: cvs-all@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id C198316A4CE; Fri, 12 Dec 2003 17:22:10 -0800 (PST)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id C4AB743D1F; Fri, 12 Dec 2003 17:22:09 -0800 (PST)
	(envelope-from pav@FreeBSD.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.12.9/8.12.9) with ESMTP id hBD1M9XJ073736;
	Fri, 12 Dec 2003 17:22:09 -0800 (PST)
	(envelope-from pav@repoman.freebsd.org)
Received: (from pav@localhost)
	by repoman.freebsd.org (8.12.9/8.12.9/Submit) id hBD1M9lY073735;
	Fri, 12 Dec 2003 17:22:09 -0800 (PST)
	(envelope-from pav)
Message-Id: <200312130122.hBD1M9lY073735@repoman.freebsd.org>
From: Pav Lucistnik <pav@FreeBSD.org>
Date: Fri, 12 Dec 2003 17:22:09 -0800 (PST)
To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org,
	cvs-all@FreeBSD.org
X-FreeBSD-CVS-Branch: HEAD
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
X-BeenThere: cvs-all@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: CVS commit messages for the entire tree <cvs-all.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-all>,
	<mailto:cvs-all-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/cvs-all>
List-Post: <mailto:cvs-all@freebsd.org>
List-Help: <mailto:cvs-all-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/cvs-all>,
	<mailto:cvs-all-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 13 Dec 2003 01:22:10 -0000

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)