Skip to content

Rival 1.4

Latest
Compare
Choose a tag to compare
@pavpanchekha pavpanchekha released this 20 Jul 17:01

This is the first release of Rival as a standalone package, though the first Rival code dates to September 2018. The version number is synchronized with Herbie.

Version 1.4 of Rival supports all common functions from math.h except the Gamma and Bessel functions, and includes support for advanced interval features including:

  • Boolean intervals
  • Error intervals
  • Movability flags