rival

Interval analysis for real computation

Build status: failed

Authors
Documentation
Tags
Last updatedWednesday, June 29th, 2022 1:16:48am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival.gitc21f8a1cee0bf9c7ab0c28b7da49e5c1fc90432f
Last checkedFriday, July 1st, 2022 6:16:24am (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/infra/run-mpfi.rkt
  • rival/infra/interval-evaluate.rkt
  • rival/main.scrbl
  • rival/infra/report.rkt
  • rival/main.rkt
  • rival/infra/run-mathematica.rkt