Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
dslsdzc
/
core
Public
Notifications
You must be signed in to change notification settings
Fork
1
Star
3
Code
Issues
0
Pull requests
1
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
feat: float 完整支持（IEEE 754/SysV）+ 对照 CompCert 审查修复 16 bug
- #37
#37
Merged
dslsdzc
merged 10 commits into
main
dslsdzc/core:main
from
release-float
dslsdzc/core:release-float
Copy head branch name to clipboard
Aug 11, 2026
Conversation
Commits
10
(10)
Checks
Files changed
Merged
feat: float 完整支持（IEEE 754/SysV）+ 对照 CompCert 审查修复 16 bug
#37
dslsdzc
merged 10 commits into
main
dslsdzc/core:main
from
release-float
dslsdzc/core:release-float
Copy head branch name to clipboard
Commits
Commits on Aug 9, 2026
仓库治理落地：CI + 双 ruleset + 社区四件套 + 本地配置（GitFlow） (#25)
Show description for cec6220
dslsdzc
authored
cec6220
View commit details
Copy full SHA for cec6220
Browse repository at this point
docs(governance): 收尾——自批表述修正为 B 流程 + §3.3 机制发现补记 + §12 状态更新 (#27)
dslsdzc
authored
74b3d6c
View commit details
Copy full SHA for 74b3d6c
Browse repository at this point
chore(ci): checkout SHA pin + Actions 策略 (#28)
Show description for 09747be
dslsdzc
authored
09747be
View commit details
Copy full SHA for 09747be
Browse repository at this point
docs: README 项目状态更新——特性清单补全（arena/region/指针安全/@内建/治理/CI）+ 未完成与已知限制表 (#29)
dslsdzc
authored
612649c
View commit details
Copy full SHA for 612649c
Browse repository at this point
sync: main 合入 develop（README 首页 + PR #23 修复，选择性） (#32)
dslsdzc
authored
e61e580
View commit details
Copy full SHA for e61e580
Browse repository at this point
Commits on Aug 10, 2026
docs: 指针安全设计定论——类型双关自动验证 + crasm 硬件描述表 + TODO bug 7 (#33)
Show description for b2f67f6
dslsdzc
authored
b2f67f6
View commit details
Copy full SHA for b2f67f6
Browse repository at this point
docs: 规约系统设计 v2——CIC 内核 + SMT 证书架构 + 验证内核选型 (#34)
Show description for 4cfee8c
dslsdzc
authored
4cfee8c
View commit details
Copy full SHA for 4cfee8c
Browse repository at this point
Commits on Aug 11, 2026
feat: float 完整支持（IEEE 754/SysV）+ 对照 CompCert 审查修复 16 bug
Show description for bc42144
dslsdzc
committed
bc42144
View commit details
Copy full SHA for bc42144
Browse repository at this point
merge: 合入 main 发布线（README/治理）+ develop 线 float/审查修复
dslsdzc
committed
217086a
View commit details
Copy full SHA for 217086a
Browse repository at this point
fix: CI workflow checkout 改回 @v5（SHA pin 导致 workflow 解析失败）
dslsdzc
committed
b13c853
View commit details
Copy full SHA for b13c853
Browse repository at this point
You can’t perform that action at this time.
