Repository navigation

Issues

New issue

[roadmap] v0.3：性能提升 + rwir/stdlib 优化
#330 · miaobyte opened on Sep 13, 2026
[roadmap] v0.4：形式化与语言定位
#331 · miaobyte opened on Sep 13, 2026

总纲：runtimec 成为唯一 C11 运行时（取代 runtime/ 与 runtimec2/，两旧目录只读冻结）
array2d/kvlang#622 · opened on Nov 2, 2026
2
[DOCS] PLDI 论文修订任务清单（可选项）
array2d/kvlang#617 · opened on Nov 1, 2026
1-layout: 写参只写——读取写参应在 layout 阶段报错
array2d/kvlang#594 · opened on Nov 1, 2026
3
2-runtime: 极限执行架构——三层模型（myrwircap+rwir / binir / jit）+ binir 字节码格式（PoC 定参数）
array2d/kvlang#583 · opened on Oct 31, 2026
2-runtime: 用 Lean 形式化验证 kvlang 设计与解释器正确性（v0.4 子项）
array2d/kvlang#572 · opened on Oct 30, 2026
2-runtime: XValue head 固定 + body 中间 + langtype 尾部（替代 attr key 方案）
array2d/kvlang#571 · opened on Oct 30, 2026
2-runtime: XValue head 固定 + x‥langtype sidecar（类型移出 head，vmkv/vmbin 分层）
array2d/kvlang#566 · opened on Oct 29, 2026
ext: Go json 扩展深嵌套容器读回 null（既有缺口，非 rename 引入）
array2d/kvlang#560 · opened on Oct 29, 2026
2-runtime: C runtime 迁移 compactarray/scatterarray 新命名（#540 遗留）
array2d/kvlang#544 · opened on Oct 28, 2026
[RFC] 2-runtime: runtimec2 JIT 设计与分阶段落地（x86_64 / AArch64）
array2d/kvlang#541 · opened on Oct 28, 2026
kvlang 解释器需比 CPython 快多少倍，才能让解释开销在训练端到端中打平（可忽略）？（现状：慢 ~10×）
array2d/kvlang#538 · opened on Oct 28, 2026
2-runtime/design: C 与 C++ 实现解释器的观察——语言差异小于执行架构差异
array2d/kvlang#516 · opened on Oct 27, 2026
2
2-runtime: runtimec2 原生补齐清单（9 个 tutorial 用例，由 feat/benchmark-c2 覆盖）
array2d/kvlang#511 · opened on Oct 26, 2026
2-runtime: P4 移除旧路径 / 全量重布局
array2d/kvlang#505 · opened on Oct 26, 2026
2-runtime: P3 checkpoint PC/status 语义（待用户裁决，暂挂起）
array2d/kvlang#504 · opened on Oct 26, 2026
2-runtime: P2 runtime 寄存器 VM + handler 拆分 + key→64 + 5–10/no-malloc/no-xvalue
array2d/kvlang#503 · opened on Oct 26, 2026
2-runtime: P0 设计（寄存器字节码 + 预创建 xvalue，coding2/coding3 并行）
array2d/kvlang#501 · opened on Oct 26, 2026
2-runtime: 基础 runtimec2 目标（kvspace 50 / kvcpu 50 / handler 5–10）
array2d/kvlang#499 · opened on Oct 25, 2026
2
2-runtime: param_address_{shm,fs} 预存在失败（v0.3.17 同样复现，低优先级）
array2d/kvlang#490 · opened on Oct 25, 2026
2-runtime: 新二进制/进程映射布局噪声（T-120 前置优化线）
array2d/kvlang#476 · opened on Oct 23, 2026
2-runtime: numpy.py 独立运行仍找旧 libkvlang_layout.so
array2d/kvlang#471 · opened on Oct 23, 2026
2-runtime: Go json 扩展 kvspaceWriteNewPlace extern 缺 body_cap，go test 段错误
array2d/kvlang#470 · opened on Oct 23, 2026
0-kvspace: 清除 XValue TLV 遗留（A 改名/ABI + B read_value 固定偏移）
array2d/kvlang#467 · opened on Oct 23, 2026
1-layout: [P0] layout 静态特化不确定（stable_kinds 遍历 HashMap，/lib 非字节一致）
array2d/kvlang#460 · opened on Oct 23, 2026
0-kvspace: ci/deps.sh 解引用 soname 链接，ABI tarball 膨胀约 1.6MB
array2d/kvlang#458 · opened on Oct 23, 2026