rival3

Interval arithmetic for real computation

Build status: ok passing tests valid license

Documentation Download
Authors
Documentation
Tags
License
Language familiesRacket
Last updatedMonday, October 12th, 2026 4:21:17am (UTC)
Ring1
ConflictsNone
Dependencies
Build platformswin32-x86_64, linux-x86_64, linux-aarch64, macosx-x86_64, macosx-aarch64
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival3/releases/latest/download/rival3-racket.zip46e2c17b1748201deba4f6b522748cf855b534ab
Last checkedSaturday, October 24th, 2026 7:58:34am (UTC)
Last editedMonday, October 12th, 2026 4:21:17am (UTC)
Date addedWednesday, March 4th, 2026 1:58:10am (UTC)
Modules
  • rival3/scribblings/rival3.scrbl
  • rival3/scribblings/profile.scrbl
  • rival3/ops.rkt
  • rival3/main.rkt
  • rival3/scribblings/eval.scrbl