rival

Interval analysis for real computation

Build status: ok passing tests valid license

Documentation README Download
Authors
Documentation
Tags
License
Last updatedTuesday, July 8th, 2025 4:27:43pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/rival.git#main57ca115b335f200172d0fc71d34935f4877bdd56
Last checkedFriday, July 11th, 2025 7:23:47am (UTC)
Last editedTuesday, March 19th, 2024 3:41:08am (UTC)
Date addedMonday, May 18th, 2020 5:35:03pm (UTC)
Modules
  • rival/scribblings/core.scrbl
  • rival/eval/adjust.rkt
  • rival/scribblings/profile.scrbl
  • rival/ops/pow.rkt
  • rival/mpfr.rkt
  • rival/infra/run-mpfi.rkt
  • rival/eval/tricks.rkt
  • rival/infra/run-mathematica.rkt
  • rival/eval/compile.rkt
  • rival/eval/run.rkt
  • rival/utils.rkt
  • rival/repl.rkt
  • rival/eval/main.rkt
  • rival/scribblings/eval.scrbl
  • rival/infra/run-sollya.rkt
  • rival/eval/machine.rkt
  • rival/time.rkt
  • rival/ops/trig.rkt
  • rival/infra/report.rkt
  • rival/ops/gamma.rkt
  • rival/profile.rkt
  • rival/scribblings/rival.scrbl
  • rival/ops/all.rkt
  • rival/ops/arith.rkt
  • rival/infra/run-baseline.rkt
  • rival/infra/format-mathematica.rkt
  • rival/test.rkt
  • rival/infra/generate-points.rkt
  • rival/main.rkt
  • rival/ops/core.rkt
  • rival/infra/interval-evaluate.rkt
  • rival/eval/tests.rkt
  • rival/eval/types.rkt
  • rival/ops/fmod.rkt