Commit Graph

Select branches

Hide Pull Requests

dev

main

v0.1.0

Mono Color

• af81109e8a Merge dev_optimize: STATOR2 全链路（19 类型/变长指令/槽表两级/栈方案 C/CAL 15 条/VAR_TEMP）+ FB 共享体基址寻址（LOAD_PTR/STORE_PTR） dev Admin 2026-08-27 09:27:20 +08:00
• c53e84f180 步骤E：文档收尾——基址寻址落地同步（编译器优化/寄存器码/用例对照/指令与映像/指令集清单/指令执行） Admin 2026-08-27 09:23:12 +08:00
• 766e3a39b2 步骤D：用例 22_multi_instance（FB 共享体多实例隔离，a=102/204/306）+ 全量回归 Admin 2026-08-27 09:21:22 +08:00
• c19e306512 步骤C：FB 函数化——共享体（r1 实例指针 + LOAD_PTR/STORE_PTR 基址寻址 + CALL），退役内联/fb_temp，嵌套 r1 保护 Admin 2026-08-27 09:19:58 +08:00
• f32a8c6aa6 步骤B：vm 执行 LOAD_PTR/STORE_PTR（rs1 值区地址基址+偏移，越界 BadSlot） Admin 2026-08-27 09:14:51 +08:00
• 68261cd78b 步骤A：isa+toml 新增 RS_OFF 形态（LOAD_PTR/STORE_PTR，0010 前缀 op=8/9）+ 强校验放行 + isa_test roundtrip Admin 2026-08-27 09:13:38 +08:00
• 92e91350cc 步骤4：用例 21_var_temp（VAR_TEMP 每周期重置语义）+ 文档更新 + 修复 store_target STORE 缺 func 隐藏 bug Admin 2026-08-26 18:01:08 +08:00
• 536ad1a96b 步骤3：Codegen VAR_TEMP——初值装载（emit_temp_init）+ FB 内联 Temp 固定寄存器（nlocals 隔离临时区）+ VarRef/赋值 fallback Admin 2026-08-26 17:58:32 +08:00
• 94634dc0b0 步骤2：VAR_TEMP 链接层（FB 布局排除 Temp 字段 + 顶层防御校验 + scope 符号映射 Local）+ linker_test Admin 2026-08-26 17:55:24 +08:00
• aa0c66780c 步骤1：VAR_TEMP 词法+语法支持（token/关键字/VarSection::Temp/保留字放行）+ 测试 Admin 2026-08-26 17:53:25 +08:00
• 6fa4eda020 阶段5-5：全量验证表留档（20 用例编译+执行+line1 真值表，全部通过） Admin 2026-08-26 11:38:38 +08:00
• 38202fd21e 阶段5-4：executor --sidecar 显式指定 I/O 绑定文件（缺省同名推导不变，向后兼容） Admin 2026-08-26 11:34:11 +08:00
• 7e95e8200e 阶段5-3：用例反汇编对照.md 的 LREAL 缺陷条目更新为已修（5-1） Admin 2026-08-26 11:25:03 +08:00
• 84de006665 阶段5-2：文档收尾——vm 指令执行/扫描周期、compiler 寄存器码/符号表/STCompiler说明、executor 入口全部更新为 V2 Admin 2026-08-26 10:40:20 +08:00
• 98d2e86dca 阶段5-1：修 LREAL 字面量装载（compile_expr 携带目标 func，F64/F32 位模式区分） Admin 2026-08-26 10:26:34 +08:00
• bc10307e0a 阶段4-3：executor V2 适配（cur_instr_bytes/slot_addr，修 V1 定宽槽残留） Admin 2026-08-26 10:20:46 +08:00
• 5eda33fed6 阶段4-2c：vm_test V2 重写（EMIT 宏/手拼 4 测试/槽宽读写）+ slot_addr 公开访问器 Admin 2026-08-26 10:19:47 +08:00
• 06ff7d8359 阶段4-2b：vm/Machine V2（变长取指/槽表两级/栈方案 C/CAL 15 条） Admin 2026-08-26 10:03:40 +08:00
• dbedc17032 阶段4-2a：vm/Image V2（头 128B/6 段校验/槽表访问器） Admin 2026-08-26 09:59:18 +08:00
• 4f3da55ed7 阶段4-1：isa 重构 V2 完成（Types/Op/Instr/Encode + isa_test 91 checks） Admin 2026-08-26 09:56:43 +08:00
• 384e681ef3 文档：阶段4 执行步骤细化（4-1a..4-4，一次一个，isa/vm 连续完成） Admin 2026-08-26 09:48:05 +08:00
• 7b4961f7ed 阶段3-5：编译器验证——13 正例源码↔反汇编对照 + --dump-map Admin 2026-08-26 09:47:24 +08:00
• b19a61aabf 阶段3-4：新类型运算验证 + 修复（011 前缀位、func 大小写、位串 AND/OR） Admin 2026-08-26 09:40:12 +08:00
• 2c5852797a 阶段3-3：新类型语法验证 + 修复（parse_primary 补字面量分支、负号折叠、NEG 指令） Admin 2026-08-26 09:35:39 +08:00
• 316b252afc 文档：阶段4-执行侧V2 待办清单（isa 重构/vm 同步/executor/全链路/文档收尾） Admin 2026-08-26 09:33:23 +08:00
• 8ded7090c8 阶段3-2：codegen_test V2 重写（去 isa 依赖，L5 范围断言） Admin 2026-08-26 09:31:53 +08:00
• 6be2873c88 阶段3-1：编译器语言层 V2 完成（19 类型/字面量扩展/禁隐式转换/配置驱动 FB） Admin 2026-08-26 09:29:31 +08:00
• 6ab2195a6b 阶段3文档：L5 定案——--disasm 头 22 字段一行一个+中文注释、新增 slots 节 Admin 2026-08-26 09:07:12 +08:00
• 250a0c9fac 阶段3文档：L4/L6/L7/L8 定案（字面量 AST / FB 三层判定 / TypeKind 字符串化 / Linker 查 toml）——决策点全部闭合 Admin 2026-08-26 08:58:19 +08:00
• 1335283279 阶段3：A4 修订——V2 支持日期字面量（D#/TOD#/DT#，纪元 1970，无小数秒，年 1..9999） Admin 2026-08-26 08:53:07 +08:00
• a7f89dc180 阶段3文档：L2/L9/L3 定案——变量禁隐式转换、整数/浮点字面量按上下文适配（冲突报错）、时间字面量格式要求 Admin 2026-08-26 08:48:24 +08:00
• 65ccd6c2b7 阶段3文档：L2 定案（禁止任何隐式类型转换，字面量类型化）+ 新增 L9（字面量类型化语法） Admin 2026-08-25 20:29:11 +08:00
• f7de78e528 文档：阶段3-语言层V2 计划与待定决策点（L1..L8，逐个解决） Admin 2026-08-25 20:26:00 +08:00
• 4785cf3e3b 阶段2-6：V2 生成侧 bug 修复与验证收尾 Admin 2026-08-25 20:23:32 +08:00
• 924c0c1923 阶段2-4/2-5：Stb V2（头 128B/槽表段/值段/常量表 8B）+ Codegen V2 重写 Admin 2026-08-25 20:14:01 +08:00
• 246fe09646 阶段2-3：Codec V2 化（变长指令字编解码 + 配置驱动 disasm 类型后缀） Admin 2026-08-25 20:08:37 +08:00
• a4335693d4 阶段2-2：MachineConfig 重写为 V2（强校验 5 项）+ TypeInfo/machine_test V2 适配 Admin 2026-08-25 20:04:49 +08:00
• fc76fea47b 修正：内建 FB 实为 15 条（fb_id 0..14：TON..F_TRIG 11 + SR/RS/PWM/RTC 4），文档统一'14 条'→'15 条' Admin 2026-08-25 19:59:39 +08:00
• dd5e69d2f7 阶段2-1：machine.toml 重写为 V2 schema（19 type + 68 op + 14 fb） Admin 2026-08-25 19:59:24 +08:00
• 7745dadd2d 阶段1-3：stb文件格式.md 重写为 V2 结构（头 128B/槽表段/值段/元数据段） Admin 2026-08-25 17:35:29 +08:00
• 7caa407485 阶段1-2：指令配置.md 重写为 machine.toml V2 schema（N5 定稿） Admin 2026-08-25 11:55:05 +08:00
• ec1df225e2 修正：TOD 为 4B 无符号，func = 4（非 6，与 DWORD/UDINT/DATE 同组）；func 6 仅 LWORD/ULINT/DT Admin 2026-08-25 11:54:41 +08:00
• 59d7ff3159 阶段1-1：指令与映像.md 重写为 V2 规格（STATOR2） Admin 2026-08-25 11:29:15 +08:00
• 9893299ca9 Merge branch 'dev' into main main v0.1.0 Admin 2026-08-24 16:30:14 +08:00
• 53df69f4be 文档：阶段1规格总览（V2 主参考）——定案速览 + 三份规范重写任务 + 延后项 Admin 2026-08-24 16:18:57 +08:00
• 3431f83e7c 文档维护：C1/C3/C6 行同步定案标记、§9.2 标注全部闭合、历史记录修正 Admin 2026-08-24 16:18:00 +08:00
• 638e0ef058 指令集优化：整数除法语义 A 定案写入（除零返回被除数、MIN/-1 饱和、截断除法、MOD 符号随被除数） Admin 2026-08-24 16:17:00 +08:00
• 146abd2929 内建 FB 字段表终稿：14 条 IEC 风格字段 + 对齐/偏移/大小（C3/C6 闭合） Admin 2026-08-24 16:12:37 +08:00
• 7769b515b0 文档维护：§4 表格清理（A1/C2/C4 同步定案）+ version=2 成文 + 帧头/max_stack 细则 Admin 2026-08-24 16:09:09 +08:00
• 2cc09903c9 指令编码：CALL/CAL rd 恒 0 约定成文（U14） Admin 2026-08-24 16:05:56 +08:00
• 721dfabf87 U13/U14 定案：DATE/TOD/DT 表示（DT={date:32|tod:32} 拼接）+ CALL/CAL rd 恒 0 —— 全部 U 项闭合，V2 规格冻结 Admin 2026-08-24 16:05:46 +08:00
• d38d78c942 指令集优化：U12 定案——元数据段 v1 0 长度占位（offset_meta=0），schema 延后 Admin 2026-08-24 16:03:27 +08:00
• 6869624f09 U10 定案：寄存器/调用约定维持 + 栈方案 C（预分配栈区 + max_stack 编译期算 + 双检查 + 递归编译期报错） Admin 2026-08-24 16:00:45 +08:00
• 44370c448e 指令集优化：U8/U9 定案——槽表条目 8B（{addr:u32,预留:u32}）、值段 1/2/4/8B 对齐编译器保证 Admin 2026-08-24 15:48:32 +08:00
• c9d7c16d6d 指令集优化：U7 定案——头 128B 修正版（offset_meta 占位、values_size 命名、n_i/n_q/n_m 保留恒 0、n_slots 关系、16 对齐） Admin 2026-08-24 15:47:07 +08:00
• c193c760ef 指令集优化：U6 定案——op 预算按指令集清单/指令编码文档方案（前缀分区） Admin 2026-08-24 15:41:58 +08:00
• c9024a060b U5 定案：内建 FB 14 条全部 v1 实现（6 计数拆条 + 定时/触发 5 + SR/RS、PWM、RTC 3） Admin 2026-08-24 15:40:55 +08:00
• af7054480f 指令集优化：U4 定案——结构体 v1 只留编码不实现语法（预留） Admin 2026-08-24 15:38:04 +08:00
• a6b6990834 指令集优化：清零已确认/作废项（U1/U2/U3/U11/U15/U16 标记闭合，A3 修正为 fb 表拆条，K 清单补 K24..K26） Admin 2026-08-24 15:37:17 +08:00
• ee1e06c628 指令编码：010 区也改前缀分区（形态位3+子op2），全部形态前缀直推、零查表 Admin 2026-08-24 15:33:26 +08:00
• 1c0c4d02f2 指令集优化：§2.1 同步前缀分区方案（fmt/type 位段表述更新为前缀分区+func） Admin 2026-08-24 15:31:14 +08:00
• 134f1748ec 指令编码：fmt 位段取消，形态改由前缀分区表达（Q1=010 查表 / Q2 空位待定 / Q3 全组分区） Admin 2026-08-24 15:30:59 +08:00
• fda4f7a3ec 指令集清单：新增 §1 fmt 格式与字段位号（opcode/func/imm/rs1/rs2/rd 逐位标注） Admin 2026-08-24 15:01:54 +08:00
• ed78f06e29 指令集清单：全部指令按 RISC-V 式编码（前缀+op / func / fmt） Admin 2026-08-24 14:45:35 +08:00
• 5b10c2c826 文档：新建指令编码.md——RISC-V 式 op+func 编码定案存档 Admin 2026-08-24 14:43:16 +08:00
• 21c4b953f9 文档：指令集清单章节编号独立化 + 头部去重 Admin 2026-08-24 14:08:40 +08:00
• 770e92d109 文档：指令集清单拆分为独立文档（Doc/isa/指令集清单.md），优化文档保留引用 Admin 2026-08-24 14:08:34 +08:00
• e98054706c 指令集优化：§10 全功能指令集清单（草案，10 类 + op 预算） Admin 2026-08-24 14:07:59 +08:00
• a91528a228 指令集优化：新增 §9 确认核验清单（K1..K23 已确认 / U1..U16 待确认，未回答≠同意） Admin 2026-08-24 13:48:06 +08:00
• 8f7140be64 指令集优化：B1/B2/B4 定案（1 CAL+fb_id:16、领域指令不进指令集）、C1..C6 未定项记录 Admin 2026-08-24 11:57:38 +08:00
• 5e6f2b45fc 指令集优化：A9 定案（字面量按上下文适配，默认 DINT 兜底） Admin 2026-08-24 11:42:38 +08:00
• 9e2a6e95f1 指令集优化：A3..A8 定案记录 + A9/A10 反问待讨论 Admin 2026-08-24 11:40:08 +08:00
• 91fc00ed6d 指令集优化：A2 定案——LOADK 用 type 位段解释常量，常量表条目 8B 无 tag，IMM64 预留不发射 Admin 2026-08-24 11:26:05 +08:00
• 6e8b9896f2 指令集优化：V2 核心决策全部定案（type:5/格式合并/19 类型/禁隐式转换/进制前缀） Admin 2026-08-24 11:19:40 +08:00
• 109f9a7619 文档：编译器优化 V2 草案（编译策略层，与指令集优化.md 分层） Admin 2026-08-24 10:53:47 +08:00
• 3ec803c5a8 文档：指令集优化——补 REAL/LREAL（float/double）、FB/FC 内联现状与 V2 基址寻址方向 Admin 2026-08-24 10:52:46 +08:00
• b70bea6b54 文档：指令集优化 V2 草案（变长指令/槽表值区/IEC 类型扩展/待确认问题） Admin 2026-08-24 10:46:25 +08:00
• 06a497636e 文档：executor 计划项——可选 --sidecar 参数（显式指定 I/O 绑定文件，缺省回退同名推导） Admin 2026-08-24 09:31:51 +08:00
• d109a3ca77 executor: 移除冗余 Image::from 前置校验，信任链统一由 Machine::create 报告 Admin 2026-08-24 09:04:46 +08:00
• 7aa2bbefcf stb 头字段偏移常量表：消除 vm/compiler 两侧裸魔法数 Admin 2026-08-24 08:55:57 +08:00
• d51dce4ae3 CMakePresets: 启用 compile_commands.json 导出（IDE/静态分析用） Admin 2026-08-22 13:13:12 +08:00
• 351d6ef40c executor: main 内部步骤块注释补充（参数解析/读映像/信任链/sidecar 路径/回放打开） Admin 2026-08-22 10:45:26 +08:00
• afb5d5b94a executor 模块注释完善：Doxygen 风格（main.cpp 入口/usage/Binding/sidecar 解析/采样/单步） Admin 2026-08-21 23:34:07 +08:00
• b0aebe264e compiler 模块注释完善：Doxygen 风格（Lexer/Parser/Linker/Typecheck/Project/MachineConfig/TypeInfo/Codec/Codegen/Stb/main 共 21 个文件） Admin 2026-08-21 23:29:15 +08:00
• fff7aef968 vm 模块注释完善：Doxygen 风格。 Admin 2026-08-21 23:21:51 +08:00
• 96607cfe75 isa 模块注释完善：Doxygen 风格。 Admin 2026-08-21 23:19:08 +08:00
• 6873b5ee0b 文档同步：machine.toml 配置驱动架构收尾。 Admin 2026-08-21 22:39:27 +08:00
• 1168f5ae30 Merge branch 'dev_ops_config'：指令配置（machine.toml）全流程。 Admin 2026-08-21 22:36:24 +08:00
• 0ebf193ff9 阶段 D 步骤 11：文档同步 + 提交（指令配置全流程收尾）。 Admin 2026-08-21 22:35:20 +08:00
• 40bfd175c4 阶段 D 步骤 10：测试固化（CLI 级 + 写侧自检）。 Admin 2026-08-21 22:33:14 +08:00
• a5f49caa94 阶段 D 步骤 9：CLI 接线收尾（--machine 仅编译/反汇编必填）。 Admin 2026-08-21 22:30:44 +08:00
• b13585711a 阶段 C 步骤 8：vm 读侧型号匹配 + SHA-256 校验。 Admin 2026-08-21 22:29:33 +08:00
• 5fccbadaa8 阶段 C 步骤 7：isa 拆出 Image，vm 依赖收窄。 Admin 2026-08-21 22:24:57 +08:00
• a308ae713d 阶段 B 步骤 6：.stb 写侧新格式（头 104 + 型号标识 + SHA-256 文件尾）。 Admin 2026-08-21 22:20:35 +08:00
• e187ed7b03 阶段 B 步骤 5：类型元数据配置化（TypeInfo）。 Admin 2026-08-21 22:16:48 +08:00
• 447a8d0119 阶段 B 步骤 4：compiler 配置驱动化，去除 isa 依赖。 Admin 2026-08-21 22:14:29 +08:00
• 44b5ecd46d 阶段 A 步骤 3：MachineConfig 加载层（toml++ + 强校验 5 项）。 Admin 2026-08-21 22:09:39 +08:00
• 4dab914e7c 阶段 A 步骤 2：machine.toml 落地（meta/type/op/fb）。 Admin 2026-08-21 22:07:04 +08:00
• 728ed9e71f 指令配置定案更新：最终架构 + .stb 格式冻结修订。 Admin 2026-08-21 22:00:44 +08:00
• 35dabf4c3b 步骤 1：OpFormat/OpClass 显式化 + disasm 表驱动。 Admin 2026-08-21 21:13:36 +08:00