d4a23d1cdb
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
5 lines
246 B
Text
5 lines
246 B
Text
$NetBSD: distinfo,v 1.1.1.1 2010/01/03 22:19:30 jihbed Exp $
|
|
|
|
SHA1 (gappa-0.12.3.tar.gz) = c6d90e7e1cd0a797f726cd0b7b68c326a5da78e3
|
|
RMD160 (gappa-0.12.3.tar.gz) = b79deb8fe57d368099bcc27044fc31f3103b2f6e
|
|
Size (gappa-0.12.3.tar.gz) = 250188 bytes
|