vdt-herbie

Herbie support code for the VDT math library

Build status: ok failing tests missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Language familiesRacket
        Last updatedFriday, November 8th, 2024 8:50:23pm (UTC)
        Ring2
        ConflictsNone
        Dependencies
        Build platformsany platform
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/herbie-fp/vdt-herbie.gitaa375532f0fed73d22c7bc5d2598deae92abd377
        Last checkedTuesday, June 23rd, 2026 10:33:16pm (UTC)
        Last editedWednesday, June 12th, 2024 9:23:03pm (UTC)
        Date addedWednesday, June 12th, 2024 9:23:03pm (UTC)
        Modules
        • vdt-herbie/install.rkt
        • vdt-herbie/main.rkt