Skip to content

feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring #8747

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kim-em merged 3 commits into from
Jul 11, 2026
Merged

feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring #8747

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
25abdba
feat(hex-roots): add bench/HexRoots/Bench.lean and CI wiring
Jul 11, 2026
bfc66fe
bench(hex-roots): round the compare digest to the nearest integer
Jul 11, 2026
cf84c75
bench(hex-roots): per-registration cost-model derivation comments
Jul 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ jobs:
- name: Define the hex-dev cache + build target sets
run: |
echo "HEX_LIB_TARGETS=HexBasic HexArith HexPoly HexModArith HexGF2 HexPolyZ HexRoots HexPolyFp HexGFqRing HexGFqField HexBerlekamp HexHensel HexConway HexGFq HexBerlekampZassenhaus HexRealRoots HexMatrix HexRowReduce HexDeterminant HexBareiss HexGramSchmidt HexLLL HexMatrixMathlib HexGramSchmidtMathlib HexLLLMathlib HexBerlekampZassenhausMathlib HexRealRootsMathlib" >> "$GITHUB_ENV"
echo "HEX_EXE_TARGETS=hexarith_bench hexpoly_bench hexpolyz_bench hexpolyfp_bench hexmodarith_bench hexgf2_bench hexgfqring_bench hexgfqfield_bench hexgfq_bench hexhensel_bench hexberlekamp_bench hexbz_bench hexconway_bench hexmatrix_bench hexdeterminant_bench hexbareiss_bench hexgramschmidt_bench hexrealroots_bench hexlll_bench hexlll_provider_probe" >> "$GITHUB_ENV"
echo "HEX_EXE_TARGETS=hexarith_bench hexpoly_bench hexpolyz_bench hexpolyfp_bench hexmodarith_bench hexgf2_bench hexgfqring_bench hexgfqfield_bench hexgfq_bench hexhensel_bench hexberlekamp_bench hexbz_bench hexconway_bench hexmatrix_bench hexdeterminant_bench hexbareiss_bench hexgramschmidt_bench hexrealroots_bench hexroots_bench hexlll_bench hexlll_provider_probe" >> "$GITHUB_ENV"
# Shared build. The libraries, bench exes, conformance #guard drivers, and
# emit-fixture exes are all elaborated here so the two verification tails
# below only *run* things, never rebuild them -- which is what lets the
Expand Down Expand Up @@ -207,7 +207,7 @@ jobs:
hexgf2_bench hexgfqring_bench hexgfqfield_bench hexgfq_bench \
hexhensel_bench hexberlekamp_bench hexbz_bench \
hexconway_bench hexdeterminant_bench hexmatrix_bench \
hexrealroots_bench
hexrealroots_bench hexroots_bench
touch "$RUNNER_TEMP/bench.ok"
- name: Conformance oracles + BZ gates
id: conformance
Expand Down
Loading
Loading