Upstream simplifier rule verification tool - #9334

Open

abadams wants to merge 6 commits into

mainfrom

abadams/simplifier_verifier

Commits on Aug 13, 2026

Add apps/simplifier_rule_verifier

abadams
and
claude
committed
6519132
Make the (x + c0) % c1 == c2 rewrite rule correct in isolation

abadams
and
claude
committed
451825b
Fix bugs in apps/simplifier_rule_verifier found by code review

abadams
and
claude
committed
9531bfc
Don't install z3 in the macOS CI job

abadams
and
claude
committed
642c7ce
Strip branch hints with remove_likelies rather than by hand

abadams
and
claude
committed
d111fc3
Use Halide::Tools::ThreadPool instead of a hand-rolled work queue

abadams
and
claude
committed
8cb9cf4