Repository navigation

Scaling up: history replay, an edit fuzzer, closed bugs as queries, and four new findings - #17

Merged

zmaril merged 7 commits into

Oct 7, 2026

Commits on Oct 7, 2026
- History replay, an edit fuzzer, a survey of properties, and a third bug
  
  zmaril
  and
  claude
  committed
  ec2a2be
- repro.sh: the stale-metadata case
  
  zmaril
  and
  claude
  committed
  6b7f414
- The real rustc bugs behind each property, reproduced before and after each fix
  
  zmaril
  and
  claude
  committed
  40b53b1
- Bug patterns as Ur queries: each finds its bug, and one finds #159677 too
  
  zmaril
  and
  claude
  committed
  65de382
- More oracles: object code, binaries and diagnostics
  
  zmaril
  and
  claude
  committed
  4b011ef
- Checking reuse inside rustc: what exists and what a shadow check would do
  
  zmaril
  and
  claude
  committed
  5f8b98a
- Closed bugs as Ur queries, and an audit of untracked options: three found
  
  zmaril
  and
  claude
  committed
  92c72a6