avx-herbie

x86_64 AVX support for Herbie

Build status: failed missing license metadata

Authors
Documentation
Tags
License
Last updatedThursday, June 13th, 2024 5:16:15pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/avx-herbie.git428fa4b6931826cfb0ea7633f4f6fbfb62d1b174
Last checkedThursday, November 21st, 2024 5:44:33am (UTC)
Last editedWednesday, June 12th, 2024 9:24:07pm (UTC)
Date addedWednesday, June 12th, 2024 9:24:07pm (UTC)
Modules
  • avx-herbie/install.rkt
  • avx-herbie/main.rkt