CVS commit: wip/gappa

["Kamel Derouiche" <jihbed%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   jihbed
Date:           Sun Jan  3 22:19:30 UTC 2010

Import into wip/gappa

Log Message:
Import gappa-0.12.3 as wip/gappa.

Gappa is a tool intended to help verifying and formally proving properties
on numerical programs dealing with floating-point or fixed-point arithmetic.
It has been used to write robust floating-point filters for CGAL and it is
used to certify elementary functions in CRlibm. While Gappa is intended to
be used directly, it can also act as a backend prover for the Why software
verification plateform or as an automatic tactic for the Coq proof assistant

Status:

Vendor Tag:     JIHBED
Release Tags:   JIHBED_20100103
                
N wip/gappa/distinfo
N wip/gappa/Makefile
N wip/gappa/PLIST
N wip/gappa/DESCR

No conflicts created by this import


------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev 
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs