| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, ↵ |  zinc
| 13 days | 1 | -0/+8 |
| --explain-checks v1 (non-o3 code) | |||||
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |