Pull Requests - cstarlang - cstarlang - Gitee.com

【大赛通知】开源中国「2026上海开源软件应用创新大赛」火热报名中，百万奖池等你的项目

cstarlang

仓库 4 任务 Pull Requests 2 动态成员 20

cstarlang / CStar Examples

feat(ghost): 支持用户自定义 ghost resources 与 ghost-aware C 程序推理存在冲突

草稿

cstarlang:ghost-resources-phased cstarlang:main

!43

审查：

测试：

2026-07-29 14:58

cstarlang / CStar Stdlib

feat(logic): 实现 RA、ghost heap 与可选择的 C separation logic 存在冲突

草稿

cstarlang:ghost-resources-phased cstarlang:main

!11

审查：

测试：

2026-07-29 14:51