| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | prover: len/cross-array/fixed-new/affine proofs; keep facts past call loops |  zinc
| 12 days | 1 | -0/+1 |
| * | o3: use new_k (size-class free lists) like plain code | zinc
| 12 days | 1 | -0/+3 |
| * | x86-64 o3: direct o3-to-o3 calls (rcall_x64 / rfinish_x64) | zinc
| 12 days | 1 | -2/+2 |
| * | todo: destructors closed with what landed; overnight handoff notes (triage ve... | zinc
| 12 days | 1 | -1/+5 |
| * | todo: destructors item closed with what landed; what is left (reassignment fr... | zinc
| 13 days | 1 | -1/+2 |
| * | bench: sieve.zc and trees.zc take namespace and include rt, so run.py's check... | zinc
| 13 days | 1 | -1/+0 |
| * | defer: any single statement (if/else, loops, switch, unchecked, unbounded), n... | zinc
| 13 days | 1 | -1/+1 |
| * | 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 cap... | zinc
| 13 days | 1 | -1/+1 |
| * | todo: callee generation guard for direct o3 calls, region 474..692 and fib di... | zinc
| 13 days | 1 | -1/+1 |
| * | todo: work/checks status, self-modifying region caveat, zyrdump off, next dir... | zinc
| 13 days | 1 | -2/+2 |
| * | 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 check,... | zinc
| 13 days | 1 | -1/+28 |
| * | | 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 64-wor... | zinc
| 13 days | 1 | -1/+1 |
| * | | | 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 te... | zinc
| 13 days | 1 | -2/+2 |
| * | | | 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 s... | zinc
| 13 days | 1 | -7/+10 |
| | * | | make: build zy with the llvm backend when an llvm with headers is found; NOLL... | zinc
| 13 days | 1 | -3/+7 |
| * | | | 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 secti... | zinc
| 13 days | 1 | -3/+2 |
| | * | | xref self-test: a real write in a compiler copy, reject unknown options; rune... | zinc
| 13 days | 1 | -3/+4 |
| | * | | 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 x8... | zinc
| 13 days | 1 | -1/+23 |
| |/ |
|
| * | 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 |
| * | | Merge four small fixes: std hovers, capture terminator, bare static calls, vo... | zinc
| 13 days | 1 | -5/+2 |
| |\ \ |
|
| | * | | fix std hover, full capture terminator, bare static calls, void main in run-o... | zinc
| 13 days | 1 | -4/+0 |
| | |/ |
|
| * | | 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 it... | zinc
| 13 days | 1 | -0/+94 |
| * | | | todo: no zc0 structs; records become grouped, documented arrays; in-flight li... | zinc
| 13 days | 1 | -10/+20 |
| | |/
|/| |
|
| * | | todo: handoff section with state, conventions, in-flight work and architectur... | zinc
| 13 days | 1 | -35/+96 |
| * | | 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 |
| |\ \ |
|
| | * | | split compiler.zc into files by phase | zinc
| 13 days | 1 | -2/+2 |
| * | | | 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 |
| |/ / |
|
| * | | 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 |
| |/ |
|
zinc