generic-flonum

Alternative MPFR interface for emulating IEEE-754 floating-point numbers

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedMonday, December 9th, 2024 6:11:12pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/herbie-fp/generic-flonum.gite2226376ed7b9bb543ec21606327d52e4077818a
    Last checkedMonday, November 3rd, 2025 1:52:14pm (UTC)
    Last editedMonday, December 9th, 2024 6:11:45pm (UTC)
    Date addedFriday, January 8th, 2021 5:31:17am (UTC)
    Modules
    • generic-flonum/private/mpfr.rkt
    • generic-flonum/private/ffi.rkt
    • generic-flonum/scribblings/generic-flonum.scrbl
    • generic-flonum/main.rkt
    • generic-flonum/tests/test.rkt
    • generic-flonum/private/gfl-interface.rkt
    • generic-flonum/private/gfl-consts.rkt
    • generic-flonum/private/gfl.rkt