Repository navigation

warp: make the build independent of the CPU, rebuild the fonts - #23

Merged

ricardofrantz merged 6 commits into

mainfrom

warp-determinism

Nov 7, 2026

Merged

warp: make the build independent of the CPU, rebuild the fonts#23
ricardofrantz merged 6 commits into
mainfrom
warp-determinism

Commits on Nov 2, 2026
- warp: make the curve fit independent of the CPU
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  cdd3f15
Commits on Nov 7, 2026
- warp: make the outline build independent of the CPU
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  3ec0abd
- warp: rebuild fonts and proofs with the CPU-independent outline code
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  6ef94f8
- warp: address review of the CPU-independent build
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  7c7c7da
- warp: name the largest font change and keep the MATH proof as an open local check
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  9224fc9
- warp: name the proofs that were rebuilt and the two that were not
  
  jac-made[bot]
  and
  ricardofrantz
  committed
  bbeeb30