Creusot 0.14.0 - Contracts for Rust, formally proved

Дата публикации: 13-10-2026 07:46:57

I am pleased to announce the release of Creusot, version 0.14.0.
Creusot is a tool for formally verifying Rust code, extending Rust with a language of specifications, or contracts, and providing a toolchain for proving them (semi-)automatically with the help of SMT solvers.
The latest post on Creusot's devlog describes a few of the most recent features. For the rest, see the changelog.
1 post - 1 participant
Read full topic

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	FerroProve - C-to-Rust lifter emitting #![forbid(unsafe_code)] crates with a differential oracle	0	15.51	17-10-2026
2	[Project] sol: A self-contained browser kernel written in Rust	0	9.76	18-10-2026
3	Crossync - a super fast Rust concurrency library	0	8	13-10-2026
4	Проект Rust утвердил правила в отношении использования AI-инструментов	0	10.19	06-08-2026
5	Blog: gRPC-Rust Preview Release	0	9.58	28-05-2026
6	Представлен crustc - компилятор rustc, переведённый на язык Си	0	7	03-07-2026
7	Rustls 0.23.46 Released With Four Security Fixes	0	8.4	14-10-2026
8	[Перевод] Rust 1.97.0: манглинг символов, вывод линкера и поддержка запрета предупреждений в Cargo	0	11.43	14-07-2026
9	rustymath 0.1.34	0	16.25	19-10-2026
10	Blog: gRPC-Rust Roadmap	0	13.28	02-06-2026

Классификация: . Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 8.83. Источник: users.rust-lang.org.