FEAT: Add meson build + ctypes/pytest test driver with MPFR oracle - #11
Draft
seiko2plus wants to merge 1 commit into
Draft
FEAT: Add meson build + ctypes/pytest test driver with MPFR oracle#11seiko2plus wants to merge 1 commit into
seiko2plus wants to merge 1 commit into
Conversation
Builds `numpy_sr`: a pybind11 extension exposing one submodule per Highway target plus two references (an MPFR correctly-rounded oracle and Intel SVML), driven by a pytest plugin that scores every kernel in fractional ULP. - meson build behind the `tests` feature; highway and numpy/SVML as subprojects - vectorized ULP comparators, MPFR ref+residual oracle, FP-exception probe - suite covers IEEE specials, parity, tiny identities, fenv discipline, random and exhaustive sweeps, an adaptive worst-case hunt, and a frozen worst-case book replayed as a regression gate - `spin test` / `spin ulp-report` wrappers and a static HTML report viewer precise.h gains `FPExceptions::kInexact` so the harness can name the flag the kernels deliberately leave unmanaged.
1 task
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Top-level meson build compiles each op's test kernels into their own dlopen-able plugin, with Highway as a build-time subproject. The numpy_sr package dlopens the plugins and dispatches over numpy buffers via ctypes; tests are plain pytest.