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         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)