gappa

Description:Tool for verifying floating-point or fixed-point arithmetic
Homepage:https://gappa.gitlabpages.inria.fr/ https://gitlab.inria.fr/gappa/gappa/
Location:Portage
Legend:
  • + - stable
  • ~ - unstable
  • M - hardmask
alpha amd64 arm hppa ia64 m68k mips ppc ppc64 s390 sh sparc x86
1.4.1 - ~ - - - - - - - - - - ~

USE flags

  • doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally

Also available in: Atom

Thank you!