【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 语言中文社区
原文作者：Rust语言中文社区；如有侵权，请联系管理员删除。
