fpbench

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

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, August 13th, 2020 5:30:34pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/FPBench/FPBench.git00729bfea6d9b93b6d90f80d1ea8676966c1f444
Last checkedMonday, September 28th, 2020 9:18:21pm (UTC)
Last editedTuesday, July 21st, 2020 12:21:45am (UTC)
Date addedMonday, January 28th, 2019 7:30:08am (UTC)
Modules
  • fpbench/infra/test-core2js.rkt
  • fpbench/src/sampler.rkt
  • fpbench/evaluate.rkt
  • fpbench/transform.rkt
  • fpbench/src/core2cml.rkt
  • fpbench/src/core2tex.rkt
  • fpbench/infra/test-core2c.rkt
  • fpbench/src/core2js.rkt
  • fpbench/src/supported.rkt
  • fpbench/src/fpcore-visitor.rkt
  • fpbench/infra/test-core2cml.rkt
  • fpbench/src/canonicalizer.rkt
  • fpbench/infra/gen-expr.rkt
  • fpbench/infra/test-core2sollya.rkt
  • fpbench/infra/test-core2go.rkt
  • fpbench/infra/gen-tests.rkt
  • fpbench/src/common-subexpr-elim.rkt
  • fpbench/infra/test-core2scala.rkt
  • fpbench/main.rkt
  • fpbench/src/fpcore-reader.rkt
  • fpbench/src/core2fptaylor.rkt
  • fpbench/export.rkt
  • fpbench/src/compilers.rkt
  • fpbench/src/core2sollya.rkt
  • fpbench/infra/test-core2fptaylor.rkt
  • fpbench/src/common.rkt
  • fpbench/infra/filter.rkt
  • fpbench/src/fpcore-checker.rkt
  • fpbench/infra/test-core2wls.rkt
  • fpbench/toolserver.rkt
  • fpbench/src/tensor.rkt
  • fpbench/src/core2gappa.rkt
  • fpbench/src/functional.rkt
  • fpbench/src/fpcore-interpreter.rkt
  • fpbench/infra/gen-sanity.rkt
  • fpbench/src/core2smtlib2.rkt
  • fpbench/src/core2go.rkt
  • fpbench/infra/test-core2smtlib2.rkt
  • fpbench/src/fpcore-extra.rkt
  • fpbench/infra/bench-stats.rkt
  • fpbench/src/core2wls.rkt
  • fpbench/src/imperative.rkt
  • fpbench/infra/core2json.rkt
  • fpbench/src/core2c.rkt
  • fpbench/src/range-analysis.rkt
  • fpbench/src/core2scala.rkt
  • fpbench/infra/test-common.rkt