Repository navigation

Algebraic op fuzzer - #156

Open

imlvts wants to merge 9 commits into

Adam-Vandervorst:masterfrom

imlvts:alg-fuzzer

Open

Algebraic op fuzzer#156
imlvts wants to merge 9 commits into
Adam-Vandervorst:masterfrom
imlvts:alg-fuzzer

Commits on Oct 23, 2026
- SubtractZipper: resume the survival search at the pending branch
  
  imlvts
  and
  claude
  committed
  efdde41
- SubtractZipper: derive Clone
  
  imlvts
  and
  claude
  committed
  f05b8f4
- Add an algebraic equivalence fuzzer to the differential crate
  
  imlvts
  and
  claude
  committed
  635e392
- Extend the algebraic fuzzer: lattice check, three value types, dangling repro
  
  imlvts
  and
  claude
  committed
  d3fb829
- Fuzz SubtractZipper in the algebraic fuzzer
  
  imlvts
  and
  claude
  committed
  5195266
- CI: run the algebraic equivalence fuzzer
  
  imlvts
  and
  claude
  committed
  7815b48
- alg_fuzz: report a panic that aborts, with the input that caused it
  
  imlvts
  and
  claude
  committed
  25ec4d3
- CI: fix the algebraic fuzzer's job count at 64
  
  imlvts
  and
  claude
  committed
  7277c81
- Pin gxhash to the commit that stops it aborting debug builds
  
  imlvts
  and
  claude
  committed
  f396c14