| Commit message (Expand) | Author | Age | Files | Lines |
| * | prescan: guess an owned return only from a local declared from new/heap, not ... | zinc
| 12 days | 1 | -0/+7 |
| * | tests: alias_scope expects the block-end message; plain_return now covers a f... | zinc
| 12 days | 1 | -0/+8 |
| * | analyzer: a .u (declared or inferred) function can't return a borrowed parame... | zinc
| 12 days | 4 | -0/+36 |
| * | std.Io.print/println take any mix of printable arguments (compiler expands pe... | zinc
| 12 days | 2 | -0/+20 |
| * | analyzer: a back link (container's owner stored into it) stays a plain refere... | zinc
| 12 days | 9 | -0/+68 |
| * | analyzer: infer .u from returns of fresh objects in the body (prescan guess, ... | zinc
| 12 days | 2 | -0/+28 |
| * | analyzer: an outer owner moved into a deeper container can take it back (loop... | zinc
| 12 days | 6 | -0/+94 |
| * | rt: gc_drops finalizes a droppable value that reaches itself (a cycle, or a d... | zinc
| 13 days | 2 | -0/+30 |
| * | o3: an o3 function called from normal code as a receiver method (run.method) ... | zinc
| 13 days | 1 | -0/+13 |
| * | o3: break and continue out of an o3 { } block call rt.o3_leave for each block... | zinc
| 13 days | 1 | -0/+28 |
| * | rt: memreport marks a leaked value whose drop never ran with (drop); spec 4.1... | zinc
| 13 days | 1 | -0/+15 |
| * | destructors: nothing moves out of a value with a drop: pop on an array with a... | zinc
| 13 days | 4 | -0/+48 |
| * | destructors: reassigning an m owner that still holds a value frees the old va... | zinc
| 13 days | 3 | -2/+32 |
| * | destructors: heap(v), drop(v, f) / v.drop(f) / v.drop = f, struct drop method... | zinc
| 13 days | 14 | -0/+217 |
| * | conformance: defer block form without a trailing semicolon, several statement... | zinc
| 13 days | 1 | -0/+23 |
| * | defer: any single statement (if/else, loops, switch, unchecked, unbounded), n... | zinc
| 13 days | 1 | -0/+19 |
| * | merge work/exactsize: exact-size heap bounds | zinc
| 13 days | 10 | -2/+113 |
| |\ |
|
| | * | rt: exact-size heap bounds; n, the words new asked for, lives in bits 32..62 ... | zinc
| 13 days | 10 | -2/+113 |
| * | | merge work/xref: stale known-line check for conformance and parity | zinc
| 13 days | 1 | -9/+16 |
| |\ \
| |/
|/| |
|
| | * | conformance and parity: a known entry that passes again is stale and fails th... | zinc
| 13 days | 1 | -9/+16 |
| * | | Merge branch 'main' into work/spec | zinc
| 13 days | 1 | -1/+0 |
| |\| |
|
| | * | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (... | zinc
| 13 days | 1 | -1/+0 |
| * | | len: len on a char* is an error with typecheck off too (appendix b.2.14) | zinc
| 13 days | 2 | -3/+2 |
| * | | prototypes: parameters may be unnamed, int f(int, int*); (appendix b.2.13) | zinc
| 13 days | 2 | -1/+8 |
| * | | as: the type after as is read greedily in both compilers; x as int * y is a s... | zinc
| 13 days | 3 | -4/+8 |
| * | | lexer: a block comment that is never closed is 'unterminated comment' (append... | zinc
| 13 days | 3 | -3/+3 |
| * | | bool: a value stored into a bool is normalised to 0 or 1 (appendix b.2.6) | zinc
| 13 days | 3 | -2/+9 |
| * | | enum: a member is defined as soon as it is declared, so later values can name... | zinc
| 13 days | 2 | -3/+6 |
| * | | Merge branch 'main' into work/spec | zinc
| 13 days | 4 | -11/+31 |
| |\| |
|
| | * | Merge branch 'main' into work/xref | zinc
| 13 days | 4 | -4/+4 |
| | |\ |
|
| | | * | merge bounds checking | zinc
| 13 days | 4 | -4/+4 |
| | | |\ |
|
| | | | * | bounds checking: constant loop bound proof works, plain-op fixed-array check,... | zinc
| 13 days | 4 | -4/+4 |
| | * | | | zc0: integer literals as the compiler reads them (010 is 10, 0x is 0, values ... | zinc
| 13 days | 1 | -11/+0 |
| | * | | | zc0: x as T reads a whole type (x as int*, x as char**) | zinc
| 13 days | 1 | -0/+15 |
| | * | | | zc0: reject .u on a typed parameter with the compiler's message | zinc
| 13 days | 1 | -0/+6 |
| | * | | | zc0: string literals have no length limit (the token text grows) | zinc
| 13 days | 1 | -0/+10 |
| | |/ / |
|
| * | | | globals: an integer constant initializing a float or f32 global converts to f... | zinc
| 13 days | 1 | -0/+9 |
| * | | | Revert "zc0: read integer literals like the compiler: decimal with leading ze... | zinc
| 13 days | 1 | -0/+11 |
| * | | | Revert "zc0: u*x, m*x, d*x are products when u, m or d is a visible local or ... | zinc
| 13 days | 2 | -0/+2 |
| * | | | rt.zdiv: INT_MIN / -1 is INT_MIN and % is 0 in software division too, so zc0 ... | zinc
| 13 days | 1 | -2/+0 |
| * | | | zc0: u*x, m*x, d*x are products when u, m or d is a visible local or global (... | zinc
| 13 days | 2 | -2/+0 |
| * | | | zc0: read integer literals like the compiler: decimal with leading zeros, 0x ... | zinc
| 13 days | 1 | -11/+0 |
| * | | | conformance: appendix b items the spec body documents are class c | zinc
| 13 days | 1 | -4/+4 |
| * | | | ternary: an int side and a float side convert the int on its own path only (a... | zinc
| 13 days | 2 | -2/+9 |
| * | | | include: written inside a function body is 'include is top level only' (appen... | zinc
| 13 days | 2 | -2/+1 |
| * | | | globals: a float or f32 global takes a float literal initializer (appendix b.... | zinc
| 13 days | 2 | -2/+9 |
| * | | | fndef: a prototype after a definition in the same module keeps the definition... | zinc
| 13 days | 1 | -1/+0 |
| * | | | fndef: a second definition of a function in the same module is 'is defined tw... | zinc
| 13 days | 1 | -1/+0 |
| * | | | unary: u*x, m*x, d*x are not recasts when the tag names a global variable either | zinc
| 13 days | 1 | -0/+8 |
| * | | | closures: allow 24 parameters, like functions (was 19) | zinc
| 13 days | 1 | -0/+6 |