fdlibm-herbie

fdlibm platform support for Herbie

Build status: failed missing license metadata

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 checkedTuesday, July 23rd, 2024 7:58:37am (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