 Admin
|
9cd4997a3a
|
实现 12.7 类型检查：表达式类型、语句规则、FUNCTION 禁写全局。
- Typecheck.h/cpp：三型（BOOL/INT/TIME）求值，AND/OR/NOT 只吃 BOOL、算术只吃 INT（TIME 无算术）、比较同型、IF/WHILE 条件必须 BOOL
- FUNCTION 禁写全局（含经 VAR_EXTERNAL）——用例 14 点亮；函数名赋值=返回类型
- FB 命名实参匹配字段类型；FB 实例不能当值
- typecheck_test：23 断言（用例 14 + 8 类负例 + 13 个正例），ctest 8/8
|
2026-08-21 11:26:55 +08:00 |
|
|
Admin
|
93a4662d6a
|
三个 compiler 源文件补 Doxygen 注释：函数功能与参数说明。
- Lexer.cpp：13 个函数 @brief/@param/@return（含 T# 字面量、行列语义）
- Parser.cpp：24 个函数（含表达式优先级爬升、token 前瞻区分）
- Linker.cpp：24 个函数（含六步流程、三色 DFS 环检测、io 校验）
- 文件头统一：设计说明 + 函数清单；代码零改动，ctest 7/7 通过
|
2026-08-21 11:23:37 +08:00 |
|
|
Admin
|
6f02c18bbb
|
实现 12.6 符号表与链接：全局定槽、引用解析、循环检测。
- Linker.h/cpp：收集导出（仅 gvl 文件顶层 VAR_GLOBAL、声明顺序定槽、重复名拒绝）
- VAR_EXTERNAL 接同一槽、类型一致；FB 实例必须先声明；字段存在性校验；函数调用图 DFS 环检测
- io.var 必须在 GVL；内建 TON/TOF/CTU 布局冻结；用户 FB 字段 = input/output/var（external 不是字段）
- 函数名赋值 = 结果值写入（用例 13 约定）；dump_symbols 打印 name kind type address file
- linker_test：51 断言（用例 09/10/11/12/16/19 + line1/17 正例），ctest 7/7；20 用例扫描 15 绿 5 按期望拒
|
2026-08-21 11:14:03 +08:00 |
|
|
Admin
|
4ba44459e2
|
实现 12.5 递归下降语法：AST + 拒绝清单。
- Parser.h/cpp：POU 外壳（PROGRAM/FUNCTION/FUNCTION_BLOCK）、变量段、语句（赋值/IF/WHILE/FB 调用）、表达式优先级爬升（NOT/AND/OR 短路/比较/算术/函数调用/负号）
- Unit 结构：顶层 VAR_GLOBAL 段（GVL 文件形态）+ POU 列表
- 拒绝：VAR_IN_OUT/REF/CLASS/ANY 等保留名、链式比较、FB 字段赋值、顶层非 GVL 段
- THEN/DO 补入关键字表（12.5 修订，同步 12.1 与词法文档）
- parser_test：98 断言（line1 三文件 AST、FUNCTION 调用、IF/WHILE/TON、9 类负例），ctest 6/6
|
2026-08-21 11:07:34 +08:00 |
|
|
Admin
|
d4e2c1ae7c
|
实现 12.4 词法：25 关键字、小写折叠、TIME 字面量、lex error。
- Lexer.h/cpp：关键字表（大小写不敏感折小写）、(* *) 注释不嵌套、整数/T# 段式字面量、最长匹配符号
- token 带 source_file + 行列（起始位置，修了消费后行列的偏差）
- lexer_test：75 断言（line1 三文件 token 流 21/34/27、大小写、符号、注释、行列、5 类负例）
- Doc/compiler/词法.md：设计文档 + 执行计划
|
2026-08-21 10:51:45 +08:00 |
|
|
Admin
|
9a07f938f9
|
清理：isa 去掉局部 C++11 覆盖，Project.cpp 补注释，加 .clangd。
- isa/CMakeLists.txt 删除 set(CMAKE_CXX_STANDARD 11)：会覆盖全局 C++20 决策，改由 Standards.cmake 统一
- Project.cpp 各段解析补说明注释
- .clangd：clangd 编译数据库指向 build/gcc-debug
|
2026-08-21 10:41:39 +08:00 |
|
|
Admin
|
c076c25368
|
实现 12.3 toml 读取：schema 校验、文件集合、工程哈希。
- Project.h/cpp：toml++ 解析 + 字段白名单（未知键带行号报错）、name/entry/cycle_limit/dt_ms/files.st 必填、io 条目完整性、entry 必须 program MAIN
- compile_files：files.st ∪ gvl.file 去重；compute_project_hash：路径排序后 FNV-1a 64 增量，缺文件报 file missing
- STCompiler <project.toml>：打印文件列表与哈希，失败退出码 1，--help
- compiler 私有链接 toml++ v3.4.0；测试固化 compiler_toml（35 断言，line1 哈希冻结 0xc3fe4ae74ad45900）
|
2026-08-21 00:32:53 +08:00 |
|
|
Admin
|
dd7f7bcba7
|
双可执行落地：STCompiler 与 BytecodeExecutor。
- STCompiler 入口在 compiler/src/main.cpp，链 compiler+isa
- host/ 改名 executor/，BytecodeExecutor 链 vm+isa 不链 compiler
- compiler/vm 补 PUBLIC 链 isa；顶层加入 executor
- CTest：版本冒烟 2 例 + isa_roundtrip（89 断言），3/3 通过
|
2026-08-19 14:40:44 +08:00 |
|
|
Admin
|
9a35a881d1
|
建立四模块 CMake 骨架与 line1 样例。
- compiler / vm 空静态库，host 可执行打印版本
- 顶层解开 add_subdirectory，tests 接入 CTest（host_version 通过）
- examples/line1 落地 project.toml 与三个 .st
- Types.h 注释补饱和规则，与 Doc/isa 一致
- .gitignore 忽略 Doc/会话记录.md
|
2026-08-19 10:09:27 +08:00 |
|
 AdminandCursor
|
e4cdaf4717
|
把各模块说明从 README 拆到 Doc，并用索引替代 Doc/README。
Co-authored-by: Cursor <cursoragent@cursor.com>
|
2026-08-18 17:18:40 +08:00 |
|
|
AdminandCursor
|
2eb2468119
|
划定 CMake 模块目录并补充各层 README。
固定 isa/compiler/vm/host 的职责边界，样例与测试单独成目录。
Co-authored-by: Cursor <cursoragent@cursor.com>
|
2026-08-18 16:32:07 +08:00 |
|