fpbench

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

Build status:

README Download
Authors
Documentation
    Tags
    Last updatedTuesday, February 5th, 2019 9:13:58pm (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/FPBench/FPBench.gitba8c9c8d159c4b105ddf0320bb49930170d562e2
      Last checkedSunday, February 17th, 2019 10:50:26pm (UTC)
      Last editedTuesday, February 5th, 2019 9:13:58pm (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/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-imp2core.rkt