Repository navigation

Algebraic op fusion + respective fuzzer - #157

Open

imlvts wants to merge 3 commits into

Adam-Vandervorst:masterfrom

imlvts:alg-fuzzer-fusion

Commits on Oct 2, 2026

Add an algebraic equivalence fuzzer to the differential crate

imlvts
and
claude
committed
b5f3371
Extend the algebraic fuzzer: lattice check, three value types, dangling repro

imlvts
and
claude
committed
839257e
Fuzz pathmap::fuse as two more routes, and fix its root-value handling

imlvts
and
claude
committed
13ce9d7