softposit-herbie

SoftPosit support for Herbie

Build status: failed

Authors
Documentation
Tags
Last updatedMonday, June 13th, 2022 5:17:08am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/softposit-herbie.git20ef612dbd9e3413302d156d6325e1956ea0788d
Last checkedSunday, July 3rd, 2022 4:17:19pm (UTC)
Last editedMonday, February 17th, 2020 9:56:46pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt