| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bench: sieve.zc and trees.zc take namespace and include rt, so run.py's ↵ |  zinc
| 13 days | 1 | -1/+0 |
| | | | | | checksums pass on main again (todo item closed) | ||||
| * | defer: any single statement (if/else, loops, switch, unchecked, unbounded), ↵ | zinc
| 13 days | 1 | -1/+1 |
| | | | | | not just an expression or a block | ||||
| * | todo: run.py's sieve checksum fails on main | zinc
| 13 days | 1 | -0/+1 |
| | | |||||
| * | detach doc comments on internal bounds helpers (genome size); todo: reuse ↵ | zinc
| 13 days | 1 | -1/+1 |
| | | | | | capture_scan in the body scanner | ||||
| * | todo: callee generation guard for direct o3 calls, region 474..692 and fib ↵ | zinc
| 13 days | 1 | -1/+1 |
| | | | | | diagnosis; icon test with an o3 caller across find_replace | ||||
| * | todo: work/checks status, self-modifying region caveat, zyrdump off, next ↵ | zinc
| 13 days | 1 | -2/+2 |
| | | | | | direct o3 calls | ||||
| * | todo: correct self-modifying region caveat | zinc
| 13 days | 1 | -1/+1 |
| | | |||||
| * | todo: sync open list with 2026-10-14 work | zinc
| 13 days | 1 | -6/+19 |
| | | |||||
| * | x86-64 o3 regions: header comment, readme, bench note and todo | zinc
| 13 days | 1 | -2/+2 |
| | | |||||
| * | merge work/jit2: x86-64 jit inline enhancements | zinc
| 13 days | 1 | -1/+2 |
| |\ | |||||
| | * | x86-64 jit: header comment and todo for inlined enhancements | zinc
| 13 days | 1 | -1/+2 |
| | | | |||||
| * | | todo: zc0 gaps done | zinc
| 13 days | 1 | -1/+1 |
| |/ | |||||
| * | merge bounds checking | zinc
| 13 days | 1 | -1/+28 |
| |\ | |||||
| | * | bounds checking: constant loop bound proof works, plain-op fixed-array ↵ | zinc
| 13 days | 1 | -1/+28 |
| | | | | | | | | | check, docs (readme, spec 4.15 and friends, server, vscode), conformance and test.sh fixes, todo | ||||
| * | | merge: memdebug obj_base via size classes | zinc
| 13 days | 1 | -1/+1 |
| |\ \ | |||||
| | * | | memdebug: obj_base finds the header from the buddy size classes, not a ↵ | zinc
| 13 days | 1 | -1/+1 |
| | | | | | | | | | | | | | 64-word scan; regression program | ||||
| * | | | merge: seven self-hosted compiler fixes from conformance | zinc
| 13 days | 1 | -2/+2 |
| |\ \ \ | |/ / |/| | | |||||
| | * | | conformance: b.2.8 is documented behavior; keep the conformance run out of ↵ | zinc
| 13 days | 1 | -2/+2 |
| | | | | | | | | | | | | | test.sh -q; todo notes for the seven fixes | ||||
| * | | | merge: llvm auto-build (opt-in on x86-64), mode stamp | zinc
| 13 days | 1 | -3/+10 |
| |\ \ \ | |_|/ |/| | | |||||
| | * | | make: keep the x86-64 jit by default (LLVM=1 opts in), record the llvm mode ↵ | zinc
| 13 days | 1 | -7/+10 |
| | | | | | | | | | | | | | so switching rebuilds zy, check llvm with a test link | ||||
| | * | | make: build zy with the llvm backend when an llvm with headers is found; ↵ | zinc
| 13 days | 1 | -3/+7 |
| | | | | | | | | | | | | | NOLLVM=1 turns it off | ||||
| * | | | merge main into work/line-tables | zinc
| 13 days | 1 | -31/+22 |
| |\ \ \ | | |/ | |/| | |||||
| | * | | merge spec conformance suite | zinc
| 13 days | 1 | -3/+2 |
| | |\ \ | | |/ | |/| | |||||
| | | * | conformance: port the previous agent's suite, fix six expectations, add ↵ | zinc
| 13 days | 1 | -3/+2 |
| | | | | | | | | | | | | | sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh | ||||
| | * | | xref self-test: a real write in a compiler copy, reject unknown options; ↵ | zinc
| 13 days | 1 | -3/+4 |
| | | | | | | | | | | | | | runerr.sh runs every folder it is given | ||||
| | * | | xref: checked-in baseline, --check self-test hooked into the lsp section, todo | zinc
| 13 days | 1 | -28/+19 |
| | |/ | |||||
| * / | line tables and backtraces: port agent/line-tables onto main, op 56 on the ↵ | zinc
| 13 days | 1 | -1/+23 |
| |/ | | | | x86-64 jit, docs, measurements, tests; default genome reservation 0x68000 | ||||
| * | todo: record each agent's state at the end of the session and the merge order | zinc
| 13 days | 1 | -23/+170 |
| | | |||||
| * | todo: test blocks, destructors and record/replay in flight | zinc
| 13 days | 1 | -4/+7 |
| | | |||||
| * | Merge the defer statement; todo: tick it, add its follow-ups | zinc
| 13 days | 1 | -2/+2 |
| |\ | |||||
| | * | zc: add the defer statement | zinc
| 13 days | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | defer expr; and defer { ... } register code that runs when the enclosing block ends: at the end of the block, and at return, break and continue that leave it. the tokens are kept at the defer and compiled again at each exit (block_close, body, kw_return, kw_break, kw_continue), newest first, before the block's variables are released, so the analyzer sees a deferred rt.free(p) as the transfer of p where it runs. names mean what they meant at the defer; values are read when it runs. return, break and continue inside a deferred statement are errors, reported once. works in unchecked code and closures (own base per function context). | ||||
| * | | Merge four small fixes: std hovers, capture terminator, bare static calls, ↵ | zinc
| 13 days | 1 | -5/+2 |
| |\ \ | | | | | | | | | | void main; todo updated | ||||
| | * | | fix std hover, full capture terminator, bare static calls, void main in ↵ | zinc
| 13 days | 1 | -4/+0 |
| | |/ | | | | | | | | | | | | | | | | | | | | | | | | | run-only images - hover: a symbol from an embedded library source (tinyvm:std.zc, tinyvm:icon.zc) was looked up only in the document; look it up by its qualified name in the library source (hover_embedded_sym), and render a method found that way by its line (bs_hover). - std.capture: allocate one word more than the 256 it holds, so end() terminates inside the buffer. - a bare call to a static function of the enclosing struct resolves like a bare struct constant (mstruct is set for every non-generic struct's methods); the struct's own wins over a global. - run.zc declares main untyped (fn main();), so a run-only image accepts int, void or untyped main with both compilers. | ||||
| * | | todo: the spec verifier restarted from the first agent's partial work | zinc
| 13 days | 1 | -3/+4 |
| | | | |||||
| * | | Merge the x86-64 jit, phase 1; todo: tick it, add phase 2 | zinc
| 13 days | 1 | -8/+14 |
| |\ \ | |||||
| * | | | todo: record the vision, priorities and settled feature decisions; add the ↵ | zinc
| 13 days | 1 | -0/+94 |
| | | | | | | | | | | | | | items they imply | ||||
| * | | | todo: no zc0 structs; records become grouped, documented arrays; in-flight ↵ | zinc
| 13 days | 1 | -10/+20 |
| | |/ |/| | | | | | list updated | ||||
| * | | todo: handoff section with state, conventions, in-flight work and ↵ | zinc
| 13 days | 1 | -35/+96 |
| | | | | | | | | | architecture notes | ||||
| * | | todo: zc0 structs before the records refactor | zinc
| 13 days | 1 | -1/+2 |
| | | | |||||
| * | | Merge the compiler split into phase files | zinc
| 13 days | 1 | -2/+2 |
| |\ \ | | | | | | | | | | | | | also: ca_owners in the language server keeps the owner order in a fixed array instead of a heap list the analyzer rejected. | ||||
| | * | | split compiler.zc into files by phase | zinc
| 13 days | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | src/compiler/compiler.zc is now twelve files under src/compiler/, listed in order in src/compiler/parts. cat of the parts in order is byte-identical to the old file, so every compiler and image except the language server's is unchanged. no function was edited. consumers read the list: the makefile, bootstrap-check, genmap (which still writes one compiler.zc into a generated map directory), tinyvm.bat, test.sh, test_win.ps1 and the lsp drivers. the language server embeds each part and serves them joined as the one document tinyvm:/compiler.zc. | ||||
| * | | | todo: tick the spec; list the bugs its appendix b found | zinc
| 13 days | 1 | -1/+2 |
| | | | | |||||
| * | | | todo: tick zc0 byte strings and u/m/d; note zc0's remaining gaps | zinc
| 13 days | 1 | -1/+2 |
| |/ / | | | | | | | parity now compares 60 programs with no unexpected difference. | ||||
| * | | todo: tick the parity runner; zc0 follow-ups it found | zinc
| 13 days | 1 | -1/+3 |
| | | | |||||
| * | | todo: compiler file split, cross-reference report, local records, x86-64 jit | zinc
| 13 days | 1 | -0/+4 |
| |/ | |||||
| * | todo: tick typedefs and the string alias | zinc
| 13 days | 1 | -2/+2 |
| | | |||||
| * | todo: tick struct constants and member typos; add follow-ups and the spec work | zinc
| 13 days | 1 | -1/+7 |
| | | |||||
| * | todo: tick the markdown cleanup and onboarding check | zinc
| 13 days | 1 | -2/+2 |
| | | |||||
| * | docs: remove temporary notes and fix onboarding drift | zinc
| 13 days | 1 | -1/+1 |
| | | | | | | | | | | | | | - delete TASKLIST.md and docs/design/handoff.md; the handoff content lives in README.md - move docs/BOOTSTRAP-OWNERSHIP.md to docs/history/ and index it in docs/history/README.md - point ONBOARD.md, docs/BORROW.md and the ticked TODO.md item at the new path - ONBOARD.md section 9 no longer mentions TASKLIST.md - ONBOARD.md section 3 and 4 markers are now `// ...` (line comments lost their colon) verified from a clean build: make clean, make (fixpoint 376903 words), the section 0-7 commands (section 4 after the marker fix), and the rejection suites. make check was started but did not complete (stopped before it finished). | ||||
| * | todo: record the reverted unchecked trial and what it showed | zinc
| 13 days | 1 | -1/+1 |
| | | |||||
 |
index : moon/zygotec | |
| work-in-progress programming language. |
| aboutsummaryrefslogtreecommitdiff |