【Rust日报】2023-06-18 2023第三届中国Rust开发者大会圆满结束

2023第三届中国Rust开发者大会

发布 Mailtutan v0.3.0 - 用于测试和开发环境的 SMTP 服务器

变更日志：

• 添加数据修剪支持

• 添加邮件目录存储

• 向 API 添加删除消息

• 添加 TLS 支持

• 添加 SMTP 普通身份验证支持

github: https://github.com/mailtutan/mailtutan/

Kani 0.30.0 已经发布

Kani 是一个开源验证工具，它使用模型检查来分析 Rust 程序。Kani 对于验证 Rust 中的不安全代码块特别有用，其中编译器不检查“不安全的超级大国”。

以下是版本0.30.0中的新功能摘要：

• 在https://github.com/model-checking/kani/pull/2495中删除 @celinval 存根中的 --harness 要求

• 通过@celinval 在[https://github.com/model-checking/kani/pull/2507(https://github.com/model-checking/kani/pull/2507)中为 cargo kani 添加目标选择]

• 通过@celinval 在https://github.com/model-checking/kani/pull/2512更新 Cbmc 版本

• 通过 @zhassan-aws 在https://github.com/model-checking/kani/pull/2456将 Rust 工具链升级到 2023-04-30

完整更新日志：https://github.com/model-checking/kani/compare/kani-0.29.0...kani-0.30.0

Github：https://github.com/model-checking/kani

From 日报小组 时光

社区学习交流平台订阅：

• Rustcc 论坛：支持 rss

• 微信公众号：Rust 语言中文社区