aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* merge work/known-bugs: constant-expression precedence, local const in ↵HEADmainGravatar zinc 12 days40-109/+250
|\ | | | | | | constant expressions, duplicate case labels, unterminated strings, droppable cycles in one collection, js vm exit, docs, actors_demo order
| * examples/actors_demo: print the fan-out replies in worker order, not arrival ↵Gravatar zinc 12 days1-4/+11
| | | | | | | | order (the x86-64 jit vs interpreter check flaked on it under load)
| * xref baseline: lkval (local const values) and xcval folded in binGravatar zinc 12 days1-1/+3
| |
| * seed: regenerate after known-bugs fixes (image d5ab2ac3)Gravatar zinc 12 days2-5/+5
| |
| * docs: appendix b.1.2, b.1.4, b.1.5, b.1.6, b.1.8 prose fixed in README ↵Gravatar zinc 12 days2-7/+7
| | | | | | | | (b.1.9 left for Acorn's decision)
| * js vm: syscall 7 (exit) stops the run with its status, so a runtime fault no ↵Gravatar zinc 12 days2-1/+5
| | | | | | | | longer runs on past the fault (js vm trace check)
| * duplicate case labels are an error (b.2.15); unterminated string literal ↵Gravatar zinc 12 days14-29/+74
| | | | | | | | reported where it starts (b.2.11); an unreachable droppable cycle drops whole in one collection (6.15.3)
| * constant expressions: c precedence and / % ^ (b.1.3); local const usable in ↵Gravatar zinc 12 days23-63/+146
|/ | | | constant expressions (b.1.7, b.2.16); zc0 matches
* merge work/small-oob: bytes test out-of-bounds readGravatar zinc 12 days2-2/+5
|\
| * fix: bytes test read one byte past the fixed map into the heapGravatar zinc 12 days2-2/+5
|/ | | | | | | | | rt.MW is the end of the fixed map (PW) since the growing heap landed; the heap starts right there, so ld16(addr_b(rt.MW)-1) read the heap's first byte: 0 on the default map by luck, 0x40 on the small map (16384). Probe the real byte-op bound instead: core answers syscall(9,10) with the host reservation MW; micro ports, whose bound is their memory size, fall back to syscall(9,0).
* seed: regenerate after merging demo-fixes (image c079adab)Gravatar zinc 12 days2-5/+5
|
* merge work/demo-fixes: analyzer ownership fixes (back links, loop-built ↵Gravatar zinc 12 days38-31/+435
|\ | | | | | | lists, .u inference), Io.print any args, block-end borrow messages
| * prescan: guess an owned return only from a local declared from new/heap, not ↵Gravatar zinc 12 days3-16/+28
| | | | | | | | a global assigned one (fixes lsp self-check); xref baseline for the new writers
| * lsp test: block-end borrow message and related infoGravatar zinc 12 days1-0/+9
| |
| * tests: alias_scope expects the block-end message; plain_return now covers a ↵Gravatar zinc 12 days3-3/+12
| | | | | | | | forwarding owned return called early; direct owned return before its body is accepted
| * analyzer: a .u (declared or inferred) function can't return a borrowed ↵Gravatar zinc 12 days6-1/+45
| | | | | | | | parameter or a value derived from one; fixtures
| * std.Io.print/println take any mix of printable arguments (compiler expands ↵Gravatar zinc 12 days6-7/+63
| | | | | | | | per type); docs, conformance
| * TODO: implicit namespace at the topGravatar zinc 12 days1-0/+2
| |
| * analyzer: a back link (container's owner stored into it) stays a plain ↵Gravatar zinc 12 days10-1/+72
| | | | | | | | reference, fixing a compile hang on a<->b and a leak; ending an owner kills its owned children too (fixes use after reassigning a container); escape fixtures
| * analyzer: infer .u from returns of fresh objects in the body (prescan guess, ↵Gravatar zinc 12 days4-1/+66
| | | | | | | | then checked as .u)
| * analyzer: an outer owner moved into a deeper container can take it back ↵Gravatar zinc 12 days9-4/+140
| | | | | | | | (loop-built lists); block-end frees name the owner (why 9) in messages and LSP related info
* | merge work/actors: wasm seed bootstrap (seed/MANIFEST), shared copy-on-write ↵Gravatar zinc 12 days52-89/+1266
|\ \ | |/ |/| | | actor memory, top-level hold blocks on all backends and lsp
| * bench: rss probe path fixGravatar zinc 12 days1-1/+1
| |
| * bench: actor peak-rss probe (N=0/10/100 on zy, zyi, zym)Gravatar zinc 12 days4-0/+46
| |
| * seed: regenerate for the hold sources (image d792bd4f)Gravatar zinc 12 days2-5/+5
| |
| * hold: copy hold.h with micro.c everywhere; xref baseline for hold globals; ↵Gravatar zinc 12 days13-19/+37
| | | | | | | | lsp keyword completion yields to a same-named symbol; compiler message avoids the word actor
| * docs: hold blocks in LEARN.md (36-hold), spec 5.16, ACTOR.md; TODO: m:n ↵Gravatar zinc 12 days6-1/+97
| | | | | | | | scheduler and follow-ups
| * lsp: hold and shared hovers, completion of the keywords, shared variables ↵Gravatar zinc 12 days4-2/+67
| | | | | | | | marked in hover and completion; tmLanguage keywords; hold_lsp_test.js
| * test.sh: hold fixtures on interp, micro, x86-64 jit and llvmGravatar zinc 12 days1-0/+12
| |
| * hold: fixtures (accept, reject, race, rank order) and tests/drivers/hold_test.pyGravatar zinc 12 days13-0/+141
| |
| * hold blocks: top-level hold { shared let ...; fn ... } monitors; shared ↵Gravatar zinc 12 days6-3/+208
| | | | | | | | values kept by the host and copied in/out at the outermost call, reentrant per-block locks in declaration order (core, micro)
| * actors: micro workers map a copy-on-write snapshot too; inherited input is ↵Gravatar zinc 12 days3-15/+113
| | | | | | | | only the unread bytes; worker stacks 4 MB
| * actors: remaining tls tables and the input buffer allocated on use; a worker ↵Gravatar zinc 12 days2-19/+47
| | | | | | | | inherits only unread input
| * actors: large per-thread compiler tables mapped on first use instead of ↵Gravatar zinc 12 days1-18/+75
| | | | | | | | static tls (13 MB of every worker's stack mapping)
| * actors: worker memory is copy-on-write against a snapshot of the parent ↵Gravatar zinc 12 days1-10/+100
| | | | | | | | (memfd/shm), o3 entry tables handed over sparse
| * onboard: the wasm seed bootstrapGravatar zinc 12 days1-6/+12
| |
| * boot: build the compiler from a pinned wasm seed (seed/zc.wasm, WASI) under ↵Gravatar zinc 12 days9-6/+321
|/ | | | wasmtime or node, proven by the fixpoint; seed/MANIFEST hashes; make seed; legacy c bootstrap kept as make genome-c
* merge work/borrow: borrow returns before definition, borrows clause, borrow ↵Gravatar zinc 12 days32-44/+514
|\ | | | | | | messages and LSP diagnostics, mkgenome header mismatch values
| * xref: baseline records the borrow globals (end_why, end_whom, arg_site, ↵Gravatar zinc 12 days1-3/+13
| | | | | | | | local_shadow, xshadow, effect_shadows, dgrel)
| * mkgenome: on a header mismatch name FTOP/ZFP, print the image's and the ↵Gravatar zinc 12 days2-7/+28
| | | | | | | | map's values, and point at a stale src/runtime/rt.zc or map
| * lsp: borrow errors ranged on the use, with related information for where the ↵Gravatar zinc 12 days9-6/+154
| | | | | | | | owner ended and was declared; vscode client passes relatedInformation through
| * analyzer: check borrow returns of forward-called functions at the unit's ↵Gravatar zinc 12 days16-10/+212
| | | | | | | | end; borrows clause for prototypes, definitions, externs and function types, checked against the body
| * analyzer: use-after-end messages name the borrower, the owner and how the ↵Gravatar zinc 12 days12-21/+110
|/ | | | owner ended (freed, moved, .d parameter, push, global, reassignment), with fixtures
* merge work/stdio: std.Io and one-level module completionGravatar zinc 12 days11-10/+184
|\
| * lsp: prefer the rt import fix when a library group wraps the same nameGravatar zinc 12 days1-1/+2
| |
| * lsp: complete a module path one level at a time (std. lists groups, ↵Gravatar zinc 12 days2-5/+36
| | | | | | | | std.File. and std.Io. their members)
| * std: add std.Io (print, println, nl, put_*, put_f, get_c, eof, read, ↵Gravatar zinc 12 days10-4/+146
|/ | | | getline) with test, learn example and docs
* xref: baseline records the prover's writers of ft_ln (bin, kw_for), xub and ↵Gravatar zinc 12 days1-0/+3
| | | | xubat (bin)
* todo: overnight freelist-inline done-gate met with trees timingsGravatar zinc 12 days1-1/+3
| | | | | | Mark native freelist pop/push inline done (c31a07d/63ff1aa), record x86-64 jit trees ~3× win and llvm/C comparison ratios; clear the overnight still-open line.
* x86-64 jit: inline new_k, recycle_leaf and own fast paths, in o3 regions and ↵Gravatar zinc 12 days6-7/+306
| | | | | | | | | | | | | | plain blocks a call to rt.new_k / rt.recycle_leaf with a constant class, or to rt.own, does its class-list pop or push (or owner store) inline and goes on after the call; an empty list, memdebug, a held range, a block outside memory, a translated word or a type/class mismatch takes the ordinary call. in a region this replaces the o3_invoke round trip. o3 frees of leaf objects now use recycle_leaf too (new_k stamps the type inside o3 since b86db60). ZYNOFASTALLOC=1 turns it off; ZYPERFMAP=1 writes a perf map of translated code. tests/programs/o3_freelist.zc: reuse, zeroing, an empty list, untyped neighbours, memdebug; jit vs ZYNOFASTALLOC vs ZYO3INTERP.
generated by cgit v1.2.3 (git 2.39.1) at 2026-10-27 08:28:04 +0000