softposit-herbie

SoftPosit support for Herbie

Build status: ok failing tests

README Download
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 checkedSunday, December 15th, 2019 11:09:37pm (UTC)
    Last editedThursday, June 20th, 2019 5:44:02pm (UTC)
    Date addedThursday, June 20th, 2019 5:44:02pm (UTC)
    Modules
    • softposit-herbie/main.rkt