fpbench

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

Build status: ok passing tests

README Download
Authors
Documentation
    Tags
    Last updatedThursday, February 20th, 2020 11:35:22pm (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/FPBench/FPBench.git1d082a0a6a09f6347f3a1cbc287d2e7688ee0f23
    Last checkedTuesday, February 25th, 2020 9:30:33pm (UTC)
    Last editedFriday, March 15th, 2019 2:39:27am (UTC)
    Date addedMonday, January 28th, 2019 7:30:08am (UTC)
    Modules
    • fpbench/infra/test-core2fptaylor.rkt
    • fpbench/infra/test-core2wls.rkt
    • fpbench/src/fpcore.rkt
    • fpbench/src/compilers.rkt
    • fpbench/infra/core2json.rkt
    • fpbench/src/core2cml.rkt
    • fpbench/infra/test-common.rkt
    • fpbench/src/range-analysis.rkt
    • fpbench/infra/test-core2c.rkt
    • fpbench/src/core2js.rkt
    • fpbench/src/core2fptaylor.rkt
    • fpbench/src/common-subexpr-elim.rkt
    • fpbench/src/core2scala.rkt
    • fpbench/src/supported.rkt
    • fpbench/main.rkt
    • fpbench/transform.rkt
    • fpbench/src/common.rkt
    • fpbench/src/fpcore-extra.rkt
    • fpbench/infra/gen-tests.rkt
    • fpbench/infra/test-core2cml.rkt
    • fpbench/src/core2sollya.rkt
    • fpbench/src/canonicalizer.rkt
    • fpbench/src/core2wls.rkt
    • fpbench/src/core2gappa.rkt
    • fpbench/infra/test-core2js.rkt
    • fpbench/infra/gen-sanity.rkt
    • fpbench/infra/filter.rkt
    • fpbench/src/imperative.rkt
    • fpbench/src/core2go.rkt
    • fpbench/toolserver.rkt
    • fpbench/src/core2smtlib2.rkt
    • fpbench/export.rkt
    • fpbench/infra/bench-stats.rkt
    • fpbench/infra/test-core2smtlib2.rkt
    • fpbench/src/core2c.rkt
    • fpbench/infra/test-core2sollya.rkt