 TermiNexus
|
7a329f7d1e
|
去除 import t, c 以及 FL
|
2026-10-17 21:58:05 +08:00 |
|
|
TermiNexus
|
7f82bec5d1
|
chore: 全仓同步 TPV→VPC 注释改名与 range(int(...)) 显式收窄适配
|
2026-10-12 20:59:35 +08:00 |
|
|
TermiNexus
|
af59a752cd
|
chore(syntax): R16 完整 C 式 const/volatile 迁移
把剩余 t.CConst | X 全部改写为前缀描述符 const X（AST 逐字段同形）：
- t.CConst | VOIDPTR -> const VOIDPTR（win32console/win32file/win32memory 共 7 处）；
- char | t.CConst* -> const str（winsock2 x2）；t.CConst | BYTEPTR -> const BYTEPTR（zinflate）；
- typedef 右值：LPCSTR = const str、LPCWSTR = const uint16*（stdint/win32base）；
- parser.vp：typedef 右值按类型位解析（_IsCTypedefAnnotation），typedef X = T 语法糖同一条。
|
2026-10-05 20:36:35 +08:00 |
|
|
TermiNexus
|
0055ab7ea7
|
refactor: rawptr[T] -> T* 与 t.CConst 前缀迁移（R14/R16）
R14：rawptr[X] -> X*（41 文件 / 2037 行改动），X 含模块限定名与嵌套下标（rawptr[GSList[NameEntry]] -> GSList[NameEntry]*）。保留 6 处 rawptr[t.CPtr]（规范例外：存纯裸指针）；# 注释与字符串里的 rawptr[...] 属元语法描述，未动。 R16（保守子集）：t.CConst | str/bytes -> const str/bytes，t.CConst | char | t.CPtr -> const str；typedef 右值位置豁免（const str 在该处无法注册，与 R1 同源）。 验证：TPC 自举三重重编 SUCCESS；TransPyV.exe 全量 77/77 顺序回归通过。
|
2026-10-05 17:38:21 +08:00 |
|
|
TermiNexus
|
e71daeea0e
|
docs(includes): R11 注释英文化——75 个文件的中文注释改写为英文短注释
按规范「注释只讲解作用，不掺杂历史原因，尽量英文」：把 includes 下 75 个 .vp 的中文 # 注释与三引号 docstring 改写为英文，每个注释块压到 2 行以内。
保留要点：作用、约束、危险警告（不得/必须/注意）、ABI 与类型约定（如 BYTEPTR | t.CPtr = i8** 的跨模块坍缩坑）、位宽/长度约定、fail-fast 要求、内存与句柄所有权。
未动：文件头注释（规范豁免，仍是中文）、运行时中文字符串常量（printf / fatal_error / MlirFail 等用户可见消息，属代码字面量）。
验证：独立脚本比对 HEAD 与工作区的代码骨架（剥离 # 注释与三引号 docstring 后的非空行）——75 个文件逐字节一致；行尾 CRLF/LF 未被改动；全文剩余中文仅 547 行头注释、0 条行尾注释。bootstrap 三重重编 SUCCESS；全量 77/77 顺序回归通过。
|
2026-10-05 16:18:44 +08:00 |
|
|
TermiNexus
|
27121f56a7
|
refactor(includes): R12 下标 while 循环改 for range，R13 c.Set 迁移为赋值
R12（wiki/新规范 L27-39）：把「i: int = 0 与 while i < N: … i += 1」形式的下标循环改写为「for i in range(N):」。保守判定：仅当条件为裸 NAME < EXPR、循环体无 continue、NAME 在体内无其它赋值、无嵌套重绑定、循环后同层不再引用 NAME 时才改写。共 269 处 / 48 文件。
R13：c.Set 是正在退化的路径——c.Set(*p, v) 期望写作 *p = v，c.Set(a, b) 等于 a = b。本次把 includes 内 45 处 c.Set 全部迁移为赋值，includes 已无 c.Set 调用。
验证：bootstrap 三重重编 SUCCESS（无 vast_c 解析回退）；全量 77/77 顺序回归通过；ZlibTest 内部断言 79 passed / 0 failed。
|
2026-10-05 15:33:52 +08:00 |
|
|
TermiNexus
|
e80284a6d5
|
refactor: 全量迁移 includes 到新规范语法
按根目录 新规范 迁移 R1/R2/R3/R4/R6/R7/R8/R9：指针 T* 后缀、内建类型短别名、c.Addr/c.Deref 单目化、c.Asm 改 __asm__、t.CDefine 改 define 软关键字、t.CEnum 改 enum。R4 对内建 cast 多参实参保留 c.Deref 原写法（单目化会致 TPC 类型退化）。验证：includes 52/52 编译通过，TransPyV 自举产物顺序回归 77/77 全通过。
|
2026-10-05 09:04:46 +08:00 |
|
|
TermiNexus
|
0f556463e7
|
修正了部分代码的表达方式，最后可用版本，mlirlite 已基本完善
|
2026-09-23 17:42:03 +08:00 |
|
|
TermiNexus
|
0d77b68cc4
|
修复了一些错误
|
2026-09-18 20:01:14 +08:00 |
|
|
TermiNexus
|
794488b0f6
|
fix(zlib): 修正 out/buf 形参的联合类型写法，消除跨模块 ABI 错位
t.CUInt8T | t.CPtr[t.CPtr] 在定义侧按 PtrCount 累加得 i8**，但 stub/declare 侧(VpiReader 只把整段等于 t.CPtr/CPtr 的段认作 CPtr 标记)会坍缩为首段 i8，导致跨模块调用只传 1 字节、被调用方按 8 字节指针写入。ZlibTest 的 test_decompressobj 即由此触发 ASan heap-buffer-overflow：写入地址 = 压缩缓冲起址 -16(第 5 参栈槽残留的 compressed 指针被清零低字节)
改用 指针别名 | t.CPtr(两侧同为 i8**，与 win32sync.vp:65、posix.vp:199 同形)，覆盖 zinflate_stream.decompress、zdeflate_stream.compress/flush、pyzlib.append_bytes 共 4 处；不改任何运行期逻辑
|
2026-09-15 23:58:39 +08:00 |
|
|
TermiNexus
|
2992674783
|
feat(types): rowptr/REnum 迁移工作区快照 + GSList/PrintModule 临时 DBGCHAIN 护栏
把此前未提交的 rowptr 迁移整体入库（42 文件，含 ast/llvmlite/hashlib/json/zlib 等签名 rowptr 化）。临时诊断（用后移除）：linkedlist.vp GSList[T].append 链完整性四检、__module.vp PrintModule Function.Params/param 指针野值护栏（[DBGCHAIN] 前缀 + fflush + exit）。
|
2026-09-05 14:51:40 +08:00 |
|
|
TermiNexus
|
14ff9d109f
|
从 TransPyC 主项目中分离 VRTE
|
2026-08-17 11:01:35 +08:00 |
|