softposit-herbie

SoftPosit support for Herbie

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, October 26th, 2023 11:56:06pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/softposit-herbie.gitba5c0286aa33ce5a16e8867859faeac25c1ddf43
Last checkedMonday, July 22nd, 2024 4:06:40pm (UTC)
Last editedMonday, February 17th, 2020 9:56:46pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt