| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | analyzer: a .u (declared or inferred) function can't return a borrowed parame... |  zinc
| 12 days | 1 | -0/+8 |
| * | analyzer: a back link (container's owner stored into it) stays a plain refere... | zinc
| 12 days | 1 | -1/+4 |
| * | analyzer: an outer owner moved into a deeper container can take it back (loop... | zinc
| 12 days | 1 | -2/+36 |
| * | lsp: borrow errors ranged on the use, with related information for where the ... | zinc
| 12 days | 1 | -1/+2 |
| * | analyzer: check borrow returns of forward-called functions at the unit's end;... | zinc
| 12 days | 1 | -0/+48 |
| * | analyzer: use-after-end messages name the borrower, the owner and how the own... | zinc
| 12 days | 1 | -9/+22 |
| * | x86-64 jit: inline new_k, recycle_leaf and own fast paths, in o3 regions and ... | zinc
| 12 days | 1 | -2/+2 |
| * | prover: do not restore length facts after a call-loop | zinc
| 12 days | 1 | -6/+6 |
| * | prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops | zinc
| 12 days | 1 | -19/+27 |
| * | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 12 days | 1 | -34/+92 |
| * | destructors: reassigning an m owner that still holds a value frees the old va... | zinc
| 13 days | 1 | -2/+33 |
| * | destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method... | zinc
| 13 days | 1 | -1/+4 |
| * | detach doc comments on internal bounds helpers (genome size); todo: reuse cap... | zinc
| 13 days | 1 | -0/+19 |
| * | explain-checks: the record writer moves to src/lib/explain.zc, embedded and c... | zinc
| 13 days | 1 | -53/+10 |
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -... | zinc
| 13 days | 1 | -0/+328 |
| * | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main... | zinc
| 13 days | 1 | -0/+20 |
| * | zc: add the defer statement | zinc
| 13 days | 1 | -0/+1 |
| * | split compiler.zc into files by phase | zinc
| 13 days | 1 | -0/+1236 |
zinc