softposit-herbie

SoftPosit support for Herbie

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedTuesday, August 27th, 2024 10:54:32pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/softposit-herbie.git7e1341f69099a4bf7bbe21e7372158b1f54e6aae
Last checkedThursday, November 21st, 2024 5:49:17am (UTC)
Last editedMonday, February 17th, 2020 9:56:46pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt