GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Commit Graph

  • 52fd89decf feat(gen): 调用点逃逸检查（M2.3 v1b 步骤4） TermiNexus 2026-10-08 13:41:00 +08:00
  • 4ce577d8fb feat(gen): 函数生命期摘要表 + 逃逸 walker（M2.3 v1b 步骤1-3） TermiNexus 2026-10-08 13:29:28 +08:00
  • a6e1957768 feat(gen): 控制流汇合 Meet（M2.2） TermiNexus 2026-10-08 12:35:59 +08:00
  • ec47401151 feat(gen): 生命期标签（LifeTag）与借用传播（M2.1） TermiNexus 2026-10-08 12:22:10 +08:00
  • 7070bc1608 feat(gen): 栈地址逃逸检查（LifetimeError）、按值返回聚合、标量→聚合 fail-fast TermiNexus 2026-10-08 12:10:13 +08:00
  • 2ab6342d3c fix(gen): arg 糖支持转发形态的 va_list TermiNexus 2026-10-07 20:15:40 +08:00
  • c20bd4734b feat(gen): 值引用自动取址接入虚分派/构造/属性/静态等全部方法调用路径 TermiNexus 2026-10-07 19:59:52 +08:00
  • 5c1b882169 chore(gen): c.CIf 家族移除报错覆盖 CElif/CElse/CEndif，注释口径统一为 cif TermiNexus 2026-10-07 19:10:05 +08:00
  • 2fb648d68a feat(lang): 新增 cif/celif/celse 条件编译与值引用注解 &T/&temp T，assert 改译 testcheck.check TermiNexus 2026-10-07 19:03:16 +08:00
  • ce50daa87a refactor(build): 构建产物目录去掉 _mlir 后缀（temp/output） TermiNexus 2026-10-07 19:03:02 +08:00
  • 3b4bd1c6dc fix(gen): 跨模块函数作值时不再伪造同名外部全局 TermiNexus 2026-10-07 15:59:54 +08:00
  • edca6c3760 chore(detsite): 类型文本 4096 缓冲补插桩 TermiNexus 2026-10-07 15:16:52 +08:00
  • f3628a797a fix(global): 修复存储结构体字段零值文本的池缓冲溢出 TermiNexus 2026-10-07 15:16:47 +08:00
  • 12b15958c6 feat(global): 支持模块级符号地址初始化器 TermiNexus 2026-10-07 14:54:44 +08:00
  • 5993affd9c fix(type): const 等限定联合不再被误判为 str*/bytes* TermiNexus 2026-10-07 14:35:25 +08:00
  • fb3d3787e6 refactor(build): linker.cmd 由绝对路径改为裸名，--asan 提示文案去硬编码 TermiNexus 2026-10-07 11:25:38 +08:00
  • 36d23d2f42 feat(build): 实现 Qt 运行时依赖部署（runtime.qt6_path / qt6_dlls / qt6_plugins） TermiNexus 2026-10-07 09:08:35 +08:00
  • 848dc0ab38 fix(compiler): 跨模块调用补全 int→ptr 转换与别名默认参数；类型文本缓冲 512→4096 TermiNexus 2026-10-07 08:48:09 +08:00
  • 7a9bc5ae75 chore(messages): TransPyV 运行时中文字符串英文化 TermiNexus 2026-10-07 00:03:58 +08:00
  • 0cf80632c1 feat(gen): typedef 源文本归一 C 式 const/T*（R16） TermiNexus 2026-10-05 20:36:40 +08:00
  • 374921623b fix(gen): 补全新语法 &/* 的取地址与解引用路径 TermiNexus 2026-10-05 19:58:45 +08:00
  • df2de5ecfa refactor: 去 t.CPtr(&a) 冗余包装（R15） TermiNexus 2026-10-05 17:55:52 +08:00
  • cd55a7e214 refactor: rawptr[T] -> T*（R14）+ 修 REnum 前向占位未就地填充 TermiNexus 2026-10-05 17:38:28 +08:00
  • aeb4e8e54c refactor(gen): R12 收尾同步——12 处计数 while 循环改 for range TermiNexus 2026-10-05 16:36:36 +08:00
  • fb53f88893 refactor(gen): R12/R13 同步——下标 while 循环改 for range、去 c.Set TermiNexus 2026-10-05 15:33:58 +08:00
  • a7b8118ce8 fix(call): c.Set 支持 Starred 解引用目标（*p 在实参位被解析为 Starred） TermiNexus 2026-10-05 14:35:50 +08:00
  • 87b24c2445 fix(type): resolve_typedef_or_map 补齐裸内建别名，修复 int(x, t.CPtr) 类型解析 TermiNexus 2026-10-05 14:14:29 +08:00
  • 0f4aeeceff docs(tpv): R11 注释与 docstring 英文化并压缩到 2 行内 TermiNexus 2026-10-05 13:38:22 +08:00
  • a2874a14e6 chore(tpv): 移除 --allow-multiple-definition 兜底并同步缺省链接参数 TermiNexus 2026-10-05 09:22:58 +08:00
  • e79ea010b0 fix(tpv): 消除 PYI_BUF_SIZE 跨模块重复全局并去掉 --allow-multiple-definition 兜底 TermiNexus 2026-10-05 09:16:12 +08:00
  • f2ef1bb240 refactor(tpv): 新语法 R10 括号内隐式续行并一行（1140 处 / 67 文件） TermiNexus 2026-10-05 07:14:14 +08:00
  • 4a685d478f refactor(tpv): 新语法 R10 单语句块并一行（7722 处 if/for/while 单语句体） TermiNexus 2026-10-05 03:10:55 +08:00
  • f923dc4d8d chore(tpv): 删除已废弃的 Test 目录（回归测试保留在仓库外 Test/） TermiNexus 2026-10-04 23:10:44 +08:00
  • 30a3da4cd4 refactor(tpv): 新语法 R10（反斜杠续行合并）+ 回退 R5（语义不等价） TermiNexus 2026-10-04 22:56:27 +08:00
  • 185a2196ca refactor(tpv): 迁移新语法 R1/R2/R7/R8/R3/R4/R5（指针 T*、短别名、define、&/*、__asm__） TermiNexus 2026-10-04 22:48:27 +08:00
  • 9717ce0107 feat(traceback): 运行期调用栈显示 callsite 行号（编译器旁文件 + 链接后 objdump 归一） TermiNexus 2026-10-04 22:38:02 +08:00
  • 4236127956 fix(tpv): f-string 隐式 snprintf 声明形参 buf/fmt 用 i8* 而非裸 i8 TermiNexus 2026-10-04 20:51:38 +08:00
  • 68cd5f2f90 fix(tpv): __new__ 截断条件放宽到 nn_pc>=1（源侧 __new__ 可无参数） TermiNexus 2026-10-04 20:15:37 +08:00
  • 58cfe2346e fix(tpv): __new__ 调用按被调方签名截掉多余尾参 TermiNexus 2026-10-04 20:09:21 +08:00
  • 6a6cae2a44 fix(tpv): 模块限定调用优先用 vpi 定义侧形参类型，Win32 白名单降为兜底 TermiNexus 2026-10-04 18:17:51 +08:00
  • b7e4861e6c fix(tpv): vpi 返回注解纯 marker（t.State 等）解析为 void，修 void 调用被当 i32 TermiNexus 2026-10-03 21:51:13 +08:00
  • 94b174c8a0 fix(tpv): 补齐 asm_arg_cap 声明与嵌套数组 element 预算漏改 TermiNexus 2026-10-03 21:17:41 +08:00
  • 3426139d03 fix(mlir): TypePrint 输出缓冲按 MLIR 类型长度放大；初始化器文本按类型长度给足 TermiNexus 2026-10-03 21:08:30 +08:00
  • d0434bf114 fix(repl): 片段导出符号探针改用 MLIR 形态 llvm.func；布局恢复文案改指 {sha1}.meta TermiNexus 2026-10-03 19:58:37 +08:00
  • cbf76cd468 fix(callgen): text.ll 返回类型回退支持 MLIR 形态 llvm.func TermiNexus 2026-10-03 19:45:47 +08:00
  • 7b3e814524 refactor(backend): 单端 MLIR —— 发射器全树改名 mlirlite 并删除 --backend 开关 TermiNexus 2026-10-03 19:26:24 +08:00
  • 1dcd29db9c fix(phaseb): llc 并行失败按阶段定位，不再一律报 llc 编译失败 TermiNexus 2026-10-03 19:01:50 +08:00
  • cda4cca805 refactor(generic): 类型实参符号判定复用 spec_sign_of_annot TermiNexus 2026-10-03 18:20:42 +08:00
  • 2ac412c11a feat(generic): 泛型实参推断补齐全部内建标量位宽的精确票名 TermiNexus 2026-10-03 18:19:53 +08:00
  • f9ba391236 feat(generic): 无符号 i32 泛型实参改发精确票名 t.CUInt32T TermiNexus 2026-10-03 18:18:21 +08:00
  • 21436b2690 feat(generic): 泛型实参推断为无裸名别名的整型位宽补精确票名 TermiNexus 2026-10-03 17:12:47 +08:00
  • ddb1e6cc2a fix(类型): get_type_size_bytes 补浮点位宽，修复浮点泛型实参的 __sizeof__ 尺寸解析 TermiNexus 2026-10-03 16:50:42 +08:00
  • 3a4323e288 feat(generic): 特化上下文自检 fail-fast + NameError 附泛型上下文诊断 TermiNexus 2026-10-03 16:38:01 +08:00
  • da18dd39a4 fix(classdef): 已注册类早退路径补字段类型完整定义 TermiNexus 2026-10-03 16:05:24 +08:00
  • 96dad309ac fix(classdef): 值类型字段补完整结构体定义，修复跨模块嵌套结构体 unsized 导致 llc GEP 报错 TermiNexus 2026-10-03 15:58:48 +08:00
  • 28b7437e21 fix(generic): 泛型类构造 Call 实参推断同步收紧，抽出共用精确映射 TermiNexus 2026-10-03 15:51:12 +08:00
  • 9a80f1df6c fix(generic): 泛型函数 Call 实参推断改为精确类型解析，移除名字子串猜测 TermiNexus 2026-10-03 15:49:58 +08:00
  • e196d6a28a fix(类型): 模块限定注解支持 from-import 重导出解析 TermiNexus 2026-10-03 15:44:49 +08:00
  • c035a82394 fix(类型): str/bytes 聚合指针检查豁免字符数组衰减，并统一判据真源 TermiNexus 2026-10-03 15:40:01 +08:00
  • bf2f38acd2 fix(generic): 修正 SpecToLLVMText 返回值判据倒置，恢复内建标量实参的泛型类型实参推断 TermiNexus 2026-10-03 15:28:02 +08:00
  • 09ea7283f9 fix(类型): str/bytes 不再作通用指针通配，补齐实参/赋值/返回三处隐式转换 fail-fast TermiNexus 2026-10-03 14:46:57 +08:00
  • 8af967db7f fix(generic): 泛型类模板类型参数名补缺 + 空上下文 fail-fast，修复特化方法体 T 变 NameError TermiNexus 2026-10-03 14:34:55 +08:00
  • 98ee53340f feat(call): 跨模块实参加 str/bytes 形参的 fail-fast（str 不作通用指针通配），并加 vpi 注解段等值判定 TermiNexus 2026-10-03 14:23:12 +08:00
  • feb29fa7a3 fix(generic-func): 发射特化调用改传符号名（callee: str）而非 Function*，修复生成空 @ 的非法 IR TermiNexus 2026-10-03 14:18:14 +08:00
  • df1ffa4c2a refactor(subscript): 删除调用侧下标 zext 与 _zext_index_to_i32，统一交给 build_gep（单一真源） TermiNexus 2026-10-03 13:35:36 +08:00
  • bcbc7142be fix(subscript): 指针下标 GEP 补 zext，修复 i8 下标被符号扩展（uint8ptr[200] -> p[-56] 越界），zlib 漏计字节>=128 根因 TermiNexus 2026-10-03 13:20:11 +08:00
  • ab0ee723b3 fix(classgen): 补 import llvmlite，修复 llvmlite.LLVMType/Int32 解析不一致导致的指针隐式转换 fast-fail TermiNexus 2026-10-03 13:01:42 +08:00
  • 2868798f58 fix(classgen): 补声明 GenericFunc* 五个类字段，修复 GenericFuncKeys 成员查找 fast-fail TermiNexus 2026-10-03 12:54:56 +08:00
  • 63acb2bf4d fix(fstring): 使用点按需补 @snprintf declare，f-string 不再依赖显式 import stdio TermiNexus 2026-10-03 12:46:30 +08:00
  • f2b65f57ec fix(match): case A | B 的 OR 模式注册全部备选（switch 仅取首个） TermiNexus 2026-10-03 12:11:43 +08:00
  • 3b465121cd fix(call): kwargs 调用路径补齐省略形参的默认值 TermiNexus 2026-10-03 12:08:32 +08:00
  • 692998820c feat(generic): 泛型函数类型实参推断与单态化 TermiNexus 2026-10-03 11:59:26 +08:00
  • 1fbebb2a62 fix(type): 普通模块 from-import 重导出类的归属模块校正 TermiNexus 2026-10-03 11:37:27 +08:00
  • 18f4c2326f fix(match): REnum match 变体字段绑定前确保跨模块结构体完整定义 TermiNexus 2026-10-03 11:21:41 +08:00
  • 105456e56e feat(type): 泛型类注解必须带类型实参，裸名 fail-fast TermiNexus 2026-10-03 11:16:42 +08:00
  • 8da4550d79 fix(vpi): 全局变量注入补自注入守卫，消除同模块 external global 与定义重名 TermiNexus 2026-10-03 11:08:58 +08:00
  • 19d7a90c28 feat(match): 支持 match/switch 守卫（case X if cond） TermiNexus 2026-10-03 10:58:47 +08:00
  • 67667b10db fix(class): __before_init__ 定义时复用同名前向声明，消除同模块 declare+define TermiNexus 2026-10-03 10:26:57 +08:00
  • 4c114d8875 fix(call): 泛型模板的前向声明占位不再阻断构造期类型实参推断 TermiNexus 2026-10-03 10:18:29 +08:00
  • 53ba4e48bd fix(expr): 修正 not 取反的 const_int 参数顺序（bits 在前） TermiNexus 2026-10-03 09:58:35 +08:00
  • 9bd3ac3dfb refactor(sidecar): 删除 BuildCombinedIR 文本合并死代码（④-d） TermiNexus 2026-10-03 09:13:17 +08:00
  • df9a5a9beb fix(expr): 修复 not 一元运算未取反（i1 条件与 0 比较） TermiNexus 2026-10-03 09:07:04 +08:00
  • cc8ea01476 feat(sidecar): 翻译点增写 {sha1}.full.ll，Phase B 改用在线 FULL 产物（④-b/④-c） TermiNexus 2026-10-03 08:43:03 +08:00
  • ec9e950185 fix(gen): 全局初始化器引用跨模块 vtable 时补 external 声明（④-a） TermiNexus 2026-10-03 08:39:13 +08:00
  • 324a22b6d1 refactor(call): CallGenFd 返回类型精确化改以 vpi 为权威 TermiNexus 2026-10-03 08:28:07 +08:00
  • 3b0ed04e70 chore(stubmerger): 删除 StubMergerIR 中 6 个无调用方的旧 IR 文本扫描助手 TermiNexus 2026-10-03 08:26:02 +08:00
  • 611f49cfb6 refactor(repl): 会话函数签名改从翻译期模型取，去除片段 IR 文本解析 TermiNexus 2026-10-03 08:23:45 +08:00
  • 35f2070d3b feat(sidecar): meta 增写 STRUCT/VTABLE，REPL 布局恢复改读 meta TermiNexus 2026-10-03 08:18:15 +08:00
  • 78d3941f7d refactor(call): 跨模块返回类型解析改以 .vpi 为权威，text.ll 降为回退 TermiNexus 2026-10-03 08:10:34 +08:00
  • 94d2bf5047 feat(sidecar): 落盘 {sha1}.meta 函数定义清单，声明文件判定改读结构化 sidecar TermiNexus 2026-10-03 08:06:39 +08:00
  • 0ebe2e0752 feat(backend): 新增 MLIR 后端开关/产物隔离/降级管线/模块别名（默认 llvm 逐字不变） TermiNexus 2026-10-03 07:53:04 +08:00
  • 4eec3f0908 feat(dunder): 补齐 dunder 协议（__bool__/__call__/__str__/__abs__/__del__/**/增量/反向） TermiNexus 2026-10-03 00:40:00 +08:00
  • a3bb62f2c3 feat(switch): switch 允许重复 case 标签（match 仍禁止） TermiNexus 2026-10-03 00:18:55 +08:00
  • fabd92adc7 feat(switch): 新增 switch 语句并禁止 match 内 fallthrough TermiNexus 2026-10-02 23:15:43 +08:00
  • 38860a6313 feat(match): 重名 case 标签 fail-fast TermiNexus 2026-10-02 22:44:34 +08:00
  • d633a5786f fix(flow): 函数体入口清空 break/continue 目标与 match-case 标记 TermiNexus 2026-10-02 22:40:04 +08:00
  • fb4175736f fix(flow): 循环/match 外的 break/continue 改为 fail-fast TermiNexus 2026-10-02 22:35:26 +08:00
  • 43d25e58b9 feat(match): case 内 break 跳出 match，并落地 fallthrough TermiNexus 2026-10-02 22:33:15 +08:00
  • 0b7f7a50c7 docs(types): 同步 list 相关注释，list[T, N] 不是定长数组 TermiNexus 2026-10-02 22:16:30 +08:00
  • 8d01c01afd feat(viperbuild): 落地 --src 工程模式配置面，并补齐循环 else 与整型 None 比较 TermiNexus 2026-10-02 22:07:01 +08:00