softposit-herbie

SoftPosit support for Herbie

Build status: failed

Authors
Documentation
Tags
Last updatedFriday, April 30th, 2021 11:29:18pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/softposit-herbie.gitff12af9ac187b53e956140decc5da8f8b7254421
Last checkedMonday, June 14th, 2021 2:36:16pm (UTC)
Last editedMonday, February 17th, 2020 9:56:46pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt