Path to this page:
./
math/gappa,
Formal verification tool for numerical programs
Branch: pkgsrc-2021Q1,
Version: 1.3.5,
Package name: gappa-1.3.5,
Maintainer: pkgsrc-usersGappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Master sites:
SHA1: 440fe6bc589dcd4b189955fa2df09724aa1f3b10
RMD160: 455c27178dfcf952f9c1754bd7a9c02f50dad501
Filesize: 402.858 KB
Version history: (Expand)
- (2021-03-30) Package added to pkgsrc.se, version gappa-1.3.5 (created)