| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | uninit: track aggregate fills per part, sticky computed-index fills, &a[k] ↵ | 12 days | 1 | -1/+1 | |
| | | | | | and method calls set the aggregate; fix test/example hits; docs | ||||
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵ | 13 days | 1 | -0/+11 | |
| --explain-checks v1 (non-o3 code) | |||||
