fpbench

Tools for the FPBench numerical software standards (more info at http://fpbench.org/)

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, April 20th, 2019 1:04:07am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/FPBench/FPBench.git3b374af195891ee1877a3d59da13aaacb0324d7f
Last checkedSunday, April 21st, 2019 8:04:09am (UTC)
Last editedFriday, March 15th, 2019 2:39:27am (UTC)
Date addedMonday, January 28th, 2019 7:30:08am (UTC)
Modules
  • fpbench/infra/test-core2wls.rkt
  • fpbench/tools/filter.rkt
  • fpbench/tools/range-analysis.rkt
  • fpbench/tools/core2js.rkt
  • fpbench/infra/test-common.rkt
  • fpbench/tools/canonicalizer.rkt
  • fpbench/infra/test-core2c.rkt
  • fpbench/tools/core2gappa.rkt
  • fpbench/tools/fpcore.rkt
  • fpbench/main.rkt
  • fpbench/tools/core2fptaylor.rkt
  • fpbench/tools/common.rkt
  • fpbench/tools/core2smtlib2.rkt
  • fpbench/tools/fpcore-extra.rkt
  • fpbench/infra/gen-tests.rkt
  • fpbench/tools/fpimp.rkt
  • fpbench/tools/core2sollya.rkt
  • fpbench/tools/core2json.rkt
  • fpbench/tools/core2c.rkt
  • fpbench/tools/imp2core.rkt
  • fpbench/tools/sample-accuracy.rkt
  • fpbench/tools/core2wls.rkt
  • fpbench/infra/test-core2js.rkt
  • fpbench/tools/core2go.rkt
  • fpbench/infra/gen-sanity.rkt
  • fpbench/tools/core2scala.rkt
  • fpbench/infra/bench-stats.rkt
  • fpbench/infra/test-core2smtlib2.rkt
  • fpbench/infra/test-core2sollya.rkt
  • fpbench/infra/test-imp2core.rkt