fdlibm-herbie

fdlibm platform support for Herbie

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedThursday, November 7th, 2024 7:45:50pm (UTC)
        Ring2
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/herbie-fp/fdlibm-herbie.git3c89e4b21bc5d4de22ceec43ae4f01dc9da3eeaa
        Last checkedThursday, November 21st, 2024 5:45:41am (UTC)
        Last editedWednesday, June 12th, 2024 9:23:37pm (UTC)
        Date addedWednesday, June 12th, 2024 9:23:37pm (UTC)
        Modules
        • fdlibm-herbie/main.rkt
        • fdlibm-herbie/install.rkt