| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | analyzer: check borrow returns of forward-called functions at the unit's end;... |  zinc
| 12 days | 1 | -6/+12 |
| * | analyzer: use-after-end messages name the borrower, the owner and how the own... | zinc
| 12 days | 1 | -1/+1 |
| * | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 13 days | 1 | -6/+15 |
| * | o3: use new_k (size-class free lists) like plain code | zinc
| 13 days | 1 | -4/+4 |
| * | destructors: hint: x: has drop and is live at spawn; the worker's copy drops ... | zinc
| 13 days | 1 | -0/+1 |
| * | destructors: reassigning an m owner that still holds a value frees the old va... | zinc
| 13 days | 1 | -2/+9 |
| * | destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method... | zinc
| 13 days | 1 | -2/+16 |
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -... | zinc
| 13 days | 1 | -7/+26 |
| * | rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ... | zinc
| 13 days | 1 | -2/+2 |
| * | enum: a member is defined as soon as it is declared, so later values can name... | zinc
| 13 days | 1 | -0/+4 |
| * | Merge branch 'main' into work/spec | zinc
| 13 days | 1 | -12/+67 |
| |\ |
|
| | * | merge bounds checking | zinc
| 13 days | 1 | -12/+67 |
| | |\ |
|
| | | * | bounds checking: constant loop bound proof works, plain-op fixed-array check,... | zinc
| 13 days | 1 | -6/+8 |
| | | * | bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main... | zinc
| 13 days | 1 | -11/+64 |
| * | | | ternary: an int side and a float side convert the int on its own path only (a... | zinc
| 13 days | 1 | -3/+7 |
| * | | | unary: u*x, m*x, d*x are not recasts when the tag names a global variable either | zinc
| 13 days | 1 | -1/+6 |
| * | | | closures: allow 24 parameters, like functions (was 19) | zinc
| 13 days | 1 | -2/+2 |
| |/ / |
|
| * | | merge: seven self-hosted compiler fixes from conformance | zinc
| 13 days | 1 | -3/+4 |
| |\ \
| |/
|/| |
|
| | * | casts: a cast clears the byte-string flag unless the type is bstr, so (int*)s... | zinc
| 13 days | 1 | -0/+1 |
| | * | unary: u*x, m*x, d*x are not recasts when the tag names a visible local (spec... | zinc
| 13 days | 1 | -1/+1 |
| | * | capture_scan: restore panic after the dry scan, so a bad literal in a functio... | zinc
| 13 days | 1 | -2/+2 |
| * | | line tables and backtraces: port agent/line-tables onto main, op 56 on the x8... | zinc
| 13 days | 1 | -1/+3 |
| |/ |
|
| * | fix std hover, full capture terminator, bare static calls, void main in run-o... | zinc
| 13 days | 1 | -1/+3 |
| * | split compiler.zc into files by phase | zinc
| 13 days | 1 | -0/+1912 |
zinc