| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | uninit: track aggregate fills per part, sticky computed-index fills, &a[k] an... |  zinc
| 12 days | 1 | -1/+3 |
| * | definite assignment: reading a local before it is initialized is a compile er... | zinc
| 12 days | 1 | -12/+13 |
| * | constant expressions: c precedence and / % ^ (b.1.3); local const usable in c... | zinc
| 12 days | 1 | -1/+2 |
| * | merge work/demo-fixes: analyzer ownership fixes (back links, loop-built lists... | zinc
| 12 days | 1 | -3/+10 |
| |\ |
|
| | * | analyzer: infer .u from returns of fresh objects in the body (prescan guess, ... | zinc
| 12 days | 1 | -1/+1 |
| | * | analyzer: an outer owner moved into a deeper container can take it back (loop... | zinc
| 12 days | 1 | -2/+9 |
| * | | hold blocks: top-level hold { shared let ...; fn ... } monitors; shared value... | zinc
| 12 days | 1 | -0/+6 |
| |/ |
|
| * | lsp: borrow errors ranged on the use, with related information for where the ... | zinc
| 12 days | 1 | -3/+22 |
| * | analyzer: check borrow returns of forward-called functions at the unit's end;... | zinc
| 12 days | 1 | -1/+2 |
| * | analyzer: use-after-end messages name the borrower, the owner and how the own... | zinc
| 12 days | 1 | -7/+23 |
| * | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 12 days | 1 | -1/+2 |
| * | destructors: reassigning an m owner that still holds a value frees the old va... | zinc
| 13 days | 1 | -0/+1 |
| * | compiler: a //:lines marker starts a new file, so unbounded; and unchecked; o... | zinc
| 13 days | 1 | -1/+3 |
| * | compiler: the drop globals' comment says mailbox send, so nothing the compile... | zinc
| 13 days | 1 | -1/+1 |
| * | destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method... | zinc
| 13 days | 1 | -0/+5 |
| * | explain-checks: the record writer moves to src/lib/explain.zc, embedded and c... | zinc
| 13 days | 1 | -1/+1 |
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -... | zinc
| 13 days | 1 | -0/+9 |
| * | zy: nonzero exit on compile errors | zinc
| 13 days | 1 | -3/+5 |
| * | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main... | zinc
| 13 days | 1 | -4/+8 |
| * | line tables and backtraces: port agent/line-tables onto main, op 56 on the x8... | zinc
| 13 days | 1 | -1/+88 |
| * | zc: add the defer statement | zinc
| 13 days | 1 | -0/+8 |
| * | split compiler.zc into files by phase | zinc
| 13 days | 1 | -0/+1384 |
zinc