| 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 | fndef: b.2.13 unnamed prototype parameters in fewer ops (402197 -> 402112 wor...work/b213 | zinc
| 1 | -9/+8 |
| 13 days | todo: run.py's sieve checksum fails on main | zinc
| 1 | -0/+1 |
| 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 |
| 13 days | rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ... | zinc
| 21 | -37/+191 |
| 13 days | bench: baseline at 89f35bd (jit, llvm, sweep; no interp) | zinc
| 1 | -14/+10 |
| 13 days | bench: find llvm-config-19 like the Makefile; bench-save refuses when an expe... | zinc
| 4 | -3/+30 |
| [...] |