rival

Interval analysis for real computation

Build status: ok failing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedWednesday, November 15th, 2023 6:55:27pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/rival.git8af8ff225f7b94df2d1f24c14aee0e92f751edda
    Last checkedMonday, December 11th, 2023 9:14:03pm (UTC)
    Last editedMonday, May 18th, 2020 5:35:03pm (UTC)
    Date addedMonday, May 18th, 2020 5:35:03pm (UTC)
    Modules
    • rival/infra/format-mathematica.rkt
    • rival/infra/generate-points.rkt
    • rival/rival.scrbl
    • rival/test.rkt
    • rival/infra/run-mpfi.rkt
    • rival/infra/interval-evaluate.rkt
    • rival/time.rkt
    • rival/infra/report.rkt
    • rival/main.rkt
    • rival/infra/run-mathematica.rkt