rival

Interval analysis for real computation

Build status: ok failing tests

README Download
Authors
Documentation
    Tags
    Last updatedFriday, March 19th, 2021 7:00:13pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/rival.gitce01d0b08fd421cf70c8e953d82f5c267b78a328
    Last checkedSaturday, July 31st, 2021 2:35:07am (UTC)
    Last editedMonday, May 18th, 2020 5:35:03pm (UTC)
    Date addedMonday, May 18th, 2020 5:35:03pm (UTC)
    Modules
    • rival/infra/run-mathematica.rkt
    • rival/infra/run-mpfi.rkt
    • rival/infra/generate-points.rkt
    • rival/main.rkt
    • rival/infra/report.rkt
    • rival/infra/format-mathematica.rkt
    • rival/infra/interval-evaluate.rkt