| Branch | Commit message | Author | Age |
|---|
| main | merge work/known-bugs: constant-expression precedence, local const in constan... |  zinc
| 12 days |
| work/b213 | fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor... | zinc
| 13 days |
| work/bench | bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che... | zinc
| 13 days |
| work/defer | defer: any single statement (if/else, loops, switch, unchecked, unbounded), n... | zinc
| 13 days |
| work/prover | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 13 days |
| work/uninit-locals | lsp: initialize locals set under a found flag (definite assignment) | zinc
| 12 days |
| |
| |
| Age | Commit message | Author | Files | Lines |
|---|
| 13 days | bench: matmul fill a = i % 7 - 2, b = i % 5 - 1 so its checksum is 63760 (che...work/bench | zinc
| 2 | -2/+2 |
| 13 days | bench: a nonzero zy exit (1 compile error, 2 trap) or a wrong checksum fails ... | zinc
| 3 | -21/+73 |
| 13 days | bench: baseline with arrays rows (checks column pending work/checks) | zinc
| 1 | -10/+12 |
| 13 days | bench: arrays rows, checks column from zy --explain-checks ('-' without it), ... | zinc
| 1 | -10/+68 |
| 13 days | bench: arrays.zc, a matmul whose hot loop is proved and a gather that keeps i... | zinc
| 1 | -0/+58 |
| 13 days | zy: nonzero exit on compile errors | zinc
| 3 | -3/+28 |
| 13 days | merge work/exactsize: exact-size heap bounds | zinc
| 21 | -37/+191 |
| 13 days | merge work/bench: make bench, bench-check, bench-selftest; baseline at 89f35bd | zinc
| 7 | -5/+380 |
| 13 days | bench: drop committed pycache, ignore __pycache__ | zinc
| 2 | -0/+1 |
| 13 days | bench: idle re-save of baseline at 89f35bd | zinc
| 1 | -10/+10 |
| [...] |
zinc