./math/gappa, Formal verification tool for numerical programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 1.3.5, Package name: gappa-1.3.5, Maintainer: pkgsrc-users

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.


Required to run:
[math/mpfr] [devel/gmp]

Required to build:
[devel/boost-headers] [pkgtools/cwrappers]

Master sites:

Filesize: 402.858 KB

Version history: (Expand)

CVS history: (Expand)


   2023-09-01 12:17:26 by Nia Alarie | Files touched by this commit (1) 
Log message:
gappa: Assumes compiler defaults to C++11.
   2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458) 
Log message:
math: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes
   2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458) 
Log message:
math: Remove SHA1 hashes for distfiles
   2020-07-17 19:30:14 by Taylor R Campbell | Files touched by this commit (6) 
Log message:
math/gappa, math/sollya: Cite upstreamed patches.
   2020-05-24 00:59:31 by Taylor R Campbell | Files touched by this commit (1) 
Log message:
Fix patchsum.
   2020-05-19 23:42:29 by Taylor R Campbell | Files touched by this commit (5) 
Log message:
gappa: Import gappa-1.3.5 as math-gappa

Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.