 TermiNexus
|
7f82bec5d1
|
chore: 全仓同步 TPV→VPC 注释改名与 range(int(...)) 显式收窄适配
|
2026-10-12 20:59: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
|
0ef4ba9634
|
refactor(includes): R12 收尾——再改 48 处可确定安全的计数 while 循环
在 R12 保守判定基础上放宽两处（仍保证语义等价）：1) 允许 <= 条件，改写为 range(expr + 1)（while 结束后计数器为 n+1、for range 后为 n，已被「循环后不引用计数器」守卫覆盖）；2) 初始化行只要求是「同块内最近一次对计数器的写入」，不再要求紧贴 while（中间不得读写该计数器）。
其余守卫不变：界表达式必须裸（无 and/or/比较）、体内无 continue、体内仅末尾一次 += 1、无嵌套重绑定、无 while-else、循环后同一函数内不再引用计数器。TransPyV 侧同步 12 处。
验证：bootstrap 三重重编 SUCCESS（无 vast_c 解析回退）；全量 77/77 顺序回归通过。
|
2026-10-05 16:36:36 +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
|
14ff9d109f
|
从 TransPyC 主项目中分离 VRTE
|
2026-08-17 11:01:35 +08:00 |
|