fdlibm-herbie

fdlibm platform support for Herbie

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedWednesday, June 12th, 2024 9:23:37pm (UTC)
        Ring2
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/herbie-fp/fdlibm-herbie.git591740f6eccb4ae6d8a54f4d827e069bd21b605b
        Last checkedSaturday, June 29th, 2024 10:08:53pm (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