softposit-herbie

SoftPosit support for Herbie

Build status: failed

Authors
Documentation
Tags
Last updatedWednesday, June 3rd, 2020 12:49:56am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/softposit-herbie.gitf1889b1f62dd45a792726fb5addd84ba1a29e013
Last checkedTuesday, July 7th, 2020 11:23:35am (UTC)
Last editedMonday, February 17th, 2020 9:56:46pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt