标签
Creusot 0.11.0 已正式发布，Creusot 团队在 VerifyThis 2026 程序验证竞赛中斩获佳绩。本版本引入了一些小幅更新，包括结果变量的显式绑定器以及对弱内存模型原子操作的支持，此外多项核心功能正处于开发阶段。