rival

Interval analysis for real computation

Build status: ok failing tests

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