fpbench

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

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Last updatedWednesday, November 23rd, 2022 1:40:11am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/FPBench/FPBench.git6feb1dd753e465ac8bce7bd19f837749982ffee8
      Last checkedTuesday, December 6th, 2022 8:40:56pm (UTC)
      Last editedFriday, July 9th, 2021 7:38:10pm (UTC)
      Date addedMonday, January 28th, 2019 7:30:08am (UTC)
      Modules
      • fpbench/src/core2js.rkt
      • fpbench/infra/test-core2python.rkt
      • fpbench/src/core2wls.rkt
      • fpbench/src/core2python.rkt
      • fpbench/infra/test-common.rkt
      • fpbench/infra/test-core2java.rkt
      • fpbench/infra/test-core2ocaml.rkt
      • fpbench/src/fpcore-checker.rkt
      • fpbench/src/common.rkt
      • fpbench/src/imperative.rkt
      • fpbench/src/common-subexpr-elim.rkt
      • fpbench/evaluate.rkt
      • fpbench/infra/test-core2go.rkt
      • fpbench/export.rkt
      • fpbench/src/core2rust.rkt
      • fpbench/infra/gen-expr.rkt
      • fpbench/toolserver.rkt
      • fpbench/src/core2sollya.rkt
      • fpbench/src/canonicalizer.rkt
      • fpbench/src/core2gappa.rkt
      • fpbench/src/ml-canonicalizer.rkt
      • fpbench/src/core2smtlib2.rkt
      • fpbench/src/range-analysis.rkt
      • fpbench/src/core2go.rkt
      • fpbench/src/core2h.rkt
      • fpbench/src/core2cakeml.rkt
      • fpbench/infra/test-core2cakeml.rkt
      • fpbench/src/ml.rkt
      • fpbench/src/core2c.rkt
      • fpbench/infra/gen-sanity.rkt
      • fpbench/src/evaluator.rkt
      • fpbench/src/fpcore-reader.rkt
      • fpbench/infra/test-core2fortran03.rkt
      • fpbench/infra/test-core2sollya.rkt
      • fpbench/src/core2tex.rkt
      • fpbench/infra/gen-tests.rkt
      • fpbench/infra/test-core2fptaylor.rkt
      • fpbench/src/compilers.rkt
      • fpbench/src/core2matlab.rkt
      • fpbench/infra/bench-stats.rkt
      • fpbench/src/core2fortran03.rkt
      • fpbench/src/core2scala.rkt
      • fpbench/src/core2ocaml.rkt
      • fpbench/src/tensor.rkt
      • fpbench/infra/test-core2wls.rkt
      • fpbench/src/sampler.rkt
      • fpbench/src/fpcore-visitor.rkt
      • fpbench/src/fpcore-interpreter.rkt
      • fpbench/infra/filter.rkt
      • fpbench/infra/test-core2haskell.rkt
      • fpbench/infra/test-core2smtlib2.rkt
      • fpbench/infra/test-core2scala.rkt
      • fpbench/infra/test-core2julia.rkt
      • fpbench/infra/test-core2rust.rkt
      • fpbench/src/lisp.rkt
      • fpbench/infra/core2json.rkt
      • fpbench/infra/test-core2c.rkt
      • fpbench/infra/test-core2matlab.rkt
      • fpbench/src/core2fptaylor.rkt
      • fpbench/src/fpcore-extra.rkt
      • fpbench/main.rkt
      • fpbench/src/core2java.rkt
      • fpbench/src/core2julia.rkt
      • fpbench/transform.rkt
      • fpbench/infra/test-core2js.rkt
      • fpbench/src/supported.rkt
      • fpbench/src/core2haskell.rkt