softposit-herbie

SoftPosit support for Herbie

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, June 20th, 2019 5:44:02pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/uwplse/softposit-herbie.git771fb5e806b8dfa81dc87a12ff6714d7d9fac5d9
Last checkedMonday, October 14th, 2019 10:18:18pm (UTC)
Last editedThursday, June 20th, 2019 5:44:02pm (UTC)
Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
Modules
  • softposit-herbie/main.rkt