Build binary wheels with cibuildwheel via the ivpm-build backend - #1

Merged

mballance merged 14 commits into

mainfrom

ci/cibuildwheel-binary-wheels

Jun 25, 2026

Commits on Jun 21, 2026

Build binary wheels with cibuildwheel via the ivpm-build backend

mballance
and
claude
committed
778821c
ci: fix manylinux_2_34 image ref and scope wheels to Linux

mballance
and
claude
committed
6f056f9
ci: bump cibuildwheel to v4.1.0 and add concurrency cancel

mballance
and
claude
committed
a0edeae
Fix implicit function declarations for modern toolchains; require Python >=3.10

mballance
and
claude
committed
7111cd3
ci: TEMP macOS-only validation run (disable linux + sdist)

mballance
and
claude
committed
8eaa5c7
Add MSVC Windows support; TEMP Windows-only CI run

mballance
and
claude
committed
e151f9f
msvc: neutralize GCC __attribute__ in kissat headers
mballance
committed
0da433e
msvc: avoid VLA in kissat RADIX_SORT (rank.h)
mballance
committed
f06598f
msvc: replace __int128 mul-mod with portable helper
mballance
committed
d522ad7
msvc: shim clock_gettime/CLOCK_MONOTONIC
mballance
committed
2cb6941
msvc: replace GCC statement-expression macro in zsp_lcg.c
mballance
committed
13916fd
msvc: skip CLI + C test executables (DV_SOLVE_BUILD_TOOLS off)
mballance
committed
0f1041f
ci: restore full matrix (Linux + macOS + Windows)
mballance
committed
a66d411
build: depend on published ivpm-build instead of git main
mballance
committed
9eef3de