fix(fuzzer): make the widened AST generation actually fire - #13498

Draft

AztecBot wants to merge 28 commits into

cb/ast-fuzzer-reachability-fixes

Commits on Aug 6, 2026

chore(fuzzer): experiment — bias generation toward predicated mixed-layout array reads

asterite
and
claude
committed
0542737
feat(fuzzer): generate user induction variables in while/loop

asterite
and
claude
committed
ff4e3a0
feat(fuzzer): generate #[fold] functions

asterite
and
claude
committed
a796d09
feat(fuzzer): convert arrays to vectors with as_vector

asterite
and
claude
committed
5501096
feat(fuzzer): generate bit and radix decomposition intrinsics

asterite
and
claude
committed
314c3dd
feat(fuzzer): convert strings to byte arrays with str_as_bytes

asterite
and
claude
committed
15f889d
feat(fuzzer): print through format strings

asterite
and
claude
committed
29dc337
chore(ci): raise the nightly fuzzing budget to 30 minutes per target

asterite
and
claude
committed
7e1e29c
feat(fuzzer): pass function values inside tuples and arrays

asterite
and
claude
committed
322f2d8
feat(fuzzer): reborrow a field of a referenced tuple

asterite
and
claude
committed
bd980eb
fix(fuzzer): do not morph the operand of an immutable reference

asterite
and
claude
committed
a7e5c73
chore(fuzzer): satisfy clippy and rustfmt

asterite
and
claude
committed
dc570ec
chore(fuzzer): update the loop shape tests for user induction variables

asterite
and
claude
committed
00613f6
fix(fuzzer): print method builtins as methods, drop unprintable ones

asterite
and
claude
committed
ab13f32

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Merge branch 'master' into ab/fuzzer-masking-discovery
TomAFrench
authored
6bd5cc5
fix(fuzzer): make the widened AST generation actually fire

AztecBot
authored and
TomAFrench
committed
71b3e27
update PR #13498

AztecBot
authored and
TomAFrench
committed
722ad60
update PR #13498

AztecBot
authored and
TomAFrench
committed
f096e28
fix(fuzzer): exclude #[no_predicates] from the equivalence targets
TomAFrench
committed
cc69b56
Merge branch 'cb/ast-fuzzer-reachability-fixes' of origin
TomAFrench
committed
93fb265
Merge remote-tracking branch 'origin/master' into cb/ast-fuzzer-reachability-fixes
TomAFrench
committed
cde94d3
Merge branch 'master' into cb/ast-fuzzer-reachability-fixes
TomAFrench
authored
d36a00d

Commits on Aug 12, 2026

Merge branch 'master' into cb/ast-fuzzer-reachability-fixes
TomAFrench
authored
9c77b3b

Commits on Aug 13, 2026

Merge branch 'master' into cb/ast-fuzzer-reachability-fixes
TomAFrench
authored
c9f4df9