| 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 | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff...work/prover | zinc
| 7 | -43/+172 |
| 13 days | detach doc comments on internal bounds helpers (genome size); todo: reuse cap... | zinc
| 2 | -1/+20 |
| 13 days | explain-checks: the record writer moves to src/lib/explain.zc, embedded and c... | zinc
| 5 | -55/+77 |
| 13 days | jit_x64_test: link tests, src and examples into the scratch directory so embe... | zinc
| 1 | -1/+5 |
| 13 days | todo: callee generation guard for direct o3 calls, region 474..692 and fib di... | zinc
| 3 | -1/+16 |
| 13 days | jit_x64_test: a compile error on either core counts as a difference | zinc
| 1 | -4/+8 |
| 13 days | todo: work/checks status, self-modifying region caveat, zyrdump off, next dir... | zinc
| 1 | -2/+2 |
| 13 days | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -... | zinc
| 17 | -15/+488 |
| 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 |
| [...] |
zinc