TermiNexus 9d298b5ae9 feat(types): 宽度事实表共享给编译器与 LSP ...

新增 lib/types/IntFacts.vp：显式宽度范围检查、最小可存宽度、最小二幂宽度统一到一张表。ExprGenConst 与 define_min_width 改用它；LSP hover 的位宽推荐/后缀适配判定也改用它，任意 _iN/_uN 后缀可显示，但推荐宽度仍只给二幂值。gate10 增加 128_u8、1_u100、128_u7 与数字分隔符 hover 断言；计划文档记录 Pylance 式诊断等级等决策。

2026-10-28 14:42:25 +08:00

..

gate10_pkg

fix(lsp): 包的 __init__ 重导出成员可解析

2026-10-27 17:43:57 +08:00

gate3_helper.vp

feat(lsp): 增加符号索引与导航

2026-10-26 16:21:44 +08:00

gate3_stub.vpi

feat(lsp): 增加符号索引与导航

2026-10-26 16:21:44 +08:00

gate3.vp

feat(lsp): 增加符号索引与导航

2026-10-26 16:21:44 +08:00

gate4.vp

feat(lsp): 增加补全与签名帮助

2026-10-26 17:11:51 +08:00

gate5.vp

fix(lsp): 修正 define/extern 声明的名称偏移

2026-10-26 18:51:01 +08:00

gate8_a.vp

feat(lsp): 支持跨文件引用与重命名

2026-10-26 20:13:23 +08:00

gate8_b.vp

feat(lsp): 支持跨文件引用与重命名

2026-10-26 20:13:23 +08:00

gate9.vp

feat(lsp): 高亮基本类型与数组元素类型

2026-10-27 00:09:13 +08:00

gate10_extra.vp

feat(lsp): 支持 from module import * 与相对 includes

2026-10-27 02:41:45 +08:00

gate10_stub.vpi

feat(lsp): Gate 10 成员解析深度

2026-10-26 22:18:27 +08:00

gate10_types.vp

feat(lsp): 跨模块语义高亮与 project.vpj includes 生效

2026-10-27 01:45:49 +08:00

gate10_use.vp

feat(types): 宽度事实表共享给编译器与 LSP

2026-10-28 14:42:25 +08:00

gate10_wild_b.vp

fix(lsp): 通配导入链式重导出可解析

2026-10-28 12:39:28 +08:00

gate10_wild_c.vp

fix(lsp): 通配导入链式重导出可解析

2026-10-28 12:39:28 +08:00

gate10_wild_leaf.vp

fix(lsp): 通配导入链式重导出可解析

2026-10-28 12:39:28 +08:00

gate10_wild_reexport.vp

fix(lsp): 通配导入链式重导出可解析

2026-10-28 12:39:28 +08:00

gate11_other.vp

feat(lsp): Gate 11 索引与重命名安全

2026-10-26 22:49:04 +08:00

gate11_types.vp

feat(lsp): Gate 11 索引与重命名安全

2026-10-26 22:49:04 +08:00

gate11_use.vp

feat(lsp): Gate 11 索引与重命名安全

2026-10-26 22:49:04 +08:00

gate12.vp

feat(lsp): Gate 12 协议与诊断增强

2026-10-26 23:15:10 +08:00