rival

Interval analysis for real computation

Build status: ok failing tests valid license

Documentation README Download
Authors
Documentation
Tags
License
Last updatedTuesday, April 9th, 2024 3:48:20am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival.git#mainfd4b32e37c1173b7dd2101a2cac0d716bae50e82
Last checkedSunday, April 21st, 2024 12:39:32am (UTC)
Last editedTuesday, March 19th, 2024 3:41:08am (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