| 增加文档
| 1 年前 |
| 更新文档
| 3 个月前 |
| fix(xlang): 修复2个SpotBugs findings,nop-xlang 12→10
- XDefComment.toComment(): keySet()+get() → entrySet() 消除多余hash查找
- UnionTypeNarrower: 删除dead code handleTypeOfExpression()
typeof x单独作为条件时永远truthy,无法做类型窄化,
真正的typeof窄化在handleBinaryExpression→handleEquality中实现
| 23 天前 |
| 修复单元测试
| 5 个月前 |
| 修正文档中的url指向重构后的代码路径
| 6 个月前 |
| docs(db-migration): 添加数据库迁移模块文档
- 新增设计文档和设计总结
- 添加快速参考指南
- 补充XDef使用说明和修正记录
- 编写模块README
| 23 天前 |
| 增加文档
| 2 年前 |
| docs: 更新 XLang 文档说明严格相等运算符
- 在 AI 开发指南中说明 === 和 !== 运算符支持
- 更新 xlang.md 说明 === 和 !== 的语义
- 更新 xscript.md 说明与 JavaScript/TypeScript 的兼容性
- 明确 ===/!== 与 ==/!= 语义相同,均不进行类型转换
| 1 个月前 |
| 修改文档
| 8 个月前 |
| 增加文档
| 1 年前 |
| add doc
| 3 个月前 |
| 文档中对本项目图片或其他文档的引用链接采用相对路径
| 2 年前 |
| 更新文档
| 4 个月前 |
| 重构shell实现
| 4 个月前 |
| 测试apache httpclient的http2连接
| 1 年前 |
| 使用本地js代替远程cdn js
| 5 个月前 |
| 延迟创建目录
| 9 个月前 |
| docs(theory): 收束强判断问题域并新增证据强度分层
- 将问题域统一收束为复杂软件演化构造,删除冗余动词串
- 新增证据强度与问题归类:理论定义、形式化支点、实现锚点、治理缺口、企业采用五层
- 强判断限定:理论地位可给出,工程符合性和实证优越性仍需补齐
- 新增与类型理论的边界说明
| 1 天前 |
| docs(tutorial): 新增EQL集合操作符入门文章
- 介绍_some和_all操作符的用法
- 对比传统SQL的EXISTS子查询
- 提供实际场景示例
- 包含AND/OR组合的语义说明
| 2 个月前 |
| 修正文档中的url指向重构后的代码路径
| 6 个月前 |
| 增加文档
| 1 年前 |
| 修改文档单词拼写错误
Signed-off-by: dialYun <1552333077@qq.com> | 1 年前 |
| 修改常量名,规范化checkstyle
| 4 个月前 |
| 增加文档
| 1 年前 |
| 使用MarkdownNormalizer规范化docs目录下的所有markdown文件
| 2 年前 |