| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | docs: appendix b.1.2, b.1.4, b.1.5, b.1.6, b.1.8 prose fixed in README (b.1.9... |  zinc
| 12 days | 1 | -5/+5 |
| * | duplicate case labels are an error (b.2.15); unterminated string literal repo... | zinc
| 12 days | 1 | -5/+5 |
| * | constant expressions: c precedence and / % ^ (b.1.3); local const usable in c... | zinc
| 12 days | 1 | -7/+8 |
| * | merge work/demo-fixes: analyzer ownership fixes (back links, loop-built lists... | zinc
| 12 days | 1 | -0/+2 |
| |\ |
|
| | * | std.Io.print/println take any mix of printable arguments (compiler expands pe... | zinc
| 12 days | 1 | -0/+2 |
| * | | hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; ls... | zinc
| 12 days | 1 | -1/+1 |
| * | | docs: hold blocks in LEARN.md (36-hold), spec 5.16, ACTOR.md; TODO: m:n sched... | zinc
| 12 days | 1 | -1/+25 |
| |/ |
|
| * | analyzer: check borrow returns of forward-called functions at the unit's end;... | zinc
| 12 days | 1 | -0/+6 |
| * | analyzer: use-after-end messages name the borrower, the owner and how the own... | zinc
| 12 days | 1 | -2/+2 |
| * | wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff... | zinc
| 12 days | 1 | -1/+1 |
| * | actor: a declared actor without its own drop gets one that awaits owed replie... | zinc
| 12 days | 1 | -1/+1 |
| * | rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a d... | zinc
| 12 days | 1 | -1/+1 |
| * | o3: an o3 function called from normal code as a receiver method (run.method) ... | zinc
| 12 days | 1 | -1/+1 |
| * | o3: break and continue out of an o3 { } block call rt.o3_leave for each block... | zinc
| 12 days | 1 | -1/+1 |
| * | rt: memreport marks a leaked value whose drop never ran with (drop); spec 4.1... | zinc
| 12 days | 1 | -1/+1 |
| * | destructors: hint: x: has drop and is live at spawn; the worker's copy drops ... | zinc
| 12 days | 1 | -1/+1 |
| * | destructors: nothing moves out of a value with a drop: pop on an array with a... | zinc
| 12 days | 1 | -0/+1 |
| * | destructors: reassigning an m owner that still holds a value frees the old va... | zinc
| 12 days | 1 | -2/+2 |
| * | compiler: a //:lines marker starts a new file, so unbounded; and unchecked; o... | zinc
| 12 days | 1 | -3/+3 |
| * | destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method... | zinc
| 13 days | 1 | -0/+16 |
| * | defer: any single statement (if/else, loops, switch, unchecked, unbounded), n... | zinc
| 13 days | 1 | -1/+1 |
| * | zy: a runtime trap exits 2 (rt.trap: index out of range, frame overflow, out ... | zinc
| 13 days | 1 | -2/+2 |
| * | bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -... | zinc
| 13 days | 1 | -0/+4 |
| * | rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ... | zinc
| 13 days | 1 | -2/+2 |
| * | len: len on a char* is an error with typecheck off too (appendix b.2.14) | zinc
| 13 days | 1 | -2/+2 |
| * | prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13) | zinc
| 13 days | 1 | -2/+2 |
| * | as: the type after as is read greedily in both compilers; x as int * y is a s... | zinc
| 13 days | 1 | -2/+2 |
| * | lexer: a block comment that is never closed is 'unterminated comment' (append... | zinc
| 13 days | 1 | -2/+2 |
| * | bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6) | 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 | -2/+2 |
| * | globals: an integer constant initializing a float or f32 global converts to f... | zinc
| 13 days | 1 | -1/+1 |
| * | zc0umd: no recast uses a visible u/m/d as its tag (spec 1.6.3); spec: the fix... | zinc
| 13 days | 1 | -16/+23 |
| * | bounds checking: constant loop bound proof works, plain-op fixed-array check,... | zinc
| 13 days | 1 | -5/+12 |
| * | line tables and backtraces: port agent/line-tables onto main, op 56 on the x8... | zinc
| 13 days | 1 | -5/+14 |
| * | Merge the defer statement; todo: tick it, add its follow-ups | zinc
| 13 days | 1 | -0/+19 |
| |\ |
|
| | * | zc: add the defer statement | zinc
| 13 days | 1 | -0/+19 |
| * | | fix std hover, full capture terminator, bare static calls, void main in run-o... | zinc
| 13 days | 1 | -2/+2 |
| |/ |
|
| * | docs: add SPEC.md, the first written specification of zc | zinc
| 13 days | 1 | -0/+1093 |
zinc