feat: float 完整支持（IEEE 754/SysV）+ 对照 CompCert 审查修复 16 bug - #36

Closed

dslsdzc wants to merge 10 commits into

mainfrom

Commits on Aug 9, 2026

仓库治理落地：CI + 双 ruleset + 社区四件套 + 本地配置（GitFlow） (#25)
dslsdzc
authored
cec6220
docs(governance): 收尾——自批表述修正为 B 流程 + §3.3 机制发现补记 + §12 状态更新 (#27)
dslsdzc
authored
74b3d6c
chore(ci): checkout SHA pin + Actions 策略 (#28)
dslsdzc
authored
09747be
docs: README 项目状态更新——特性清单补全（arena/region/指针安全/@内建/治理/CI）+ 未完成与已知限制表 (#29)
dslsdzc
authored
612649c
sync: main 合入 develop（README 首页 + PR #23 修复，选择性） (#32)
dslsdzc
authored
e61e580

Commits on Aug 10, 2026

Commits on Aug 11, 2026