Repository navigation

More properties on the same corpus; finding 8 reduced and confirmed - #20

Merged

zmaril merged 9 commits into

mainfrom

Oct 9, 2026

Commits on Oct 7, 2026
- Finding 8 reduced to one line: a generic fn using slice get, at -Zmir-opt-level=3
  
  zmaril
  and
  claude
  committed
  408ef6c
- docs/props.md: MIR validation, optimization levels, the new trait solver, threads
  
  zmaril
  and
  claude
  committed
  c67363a
- props.md: why doctests fail alike
  
  zmaril
  and
  claude
  committed
  f41f5b8
- Finding 8 confirmed by an experimental cache change; new solver: same test results
  
  zmaril
  and
  claude
  committed
  a17962c
- Finding 8's report: confirmed by the experimental cache change, with its limits
  
  zmaril
  and
  claude
  committed
  d46c606
Commits on Oct 8, 2026
- fuzz.py: stop when the disk is nearly full
  
  zmaril
  and
  claude
  committed
  b0265d7
- Untracked reads: top-level options and quoted spans, nothing new; patches kept locally
  
  zmaril
  and
  claude
  committed
  cbbddca
- fixtures/sink: statics with references, included files, #[path], linkage attributes, mixed_site hygiene, inlining across crates
  
  zmaril
  and
  claude
  committed
  a82f1cf
- props.md: the flag battery
  
  zmaril
  and
  claude
  committed
  9434fd5