【Rust日报】2023-06-18
💡
原文中文，约900字，阅读约需3分钟。
📝
内容提要
介绍2023第三届中国Rust开发者大会以及两个开源项目：Mailtutan和Kani。Mailtutan是用于测试和开发环境的SMTP服务器，最新版本添加了多项功能。Kani是一个使用模型检查来分析Rust程序的验证工具，最新版本更新了多项功能。
🎯
关键要点
- 2023第三届中国Rust开发者大会召开。
- Mailtutan v0.3.0发布，是用于测试和开发环境的SMTP服务器。
- Mailtutan新增功能包括数据修剪支持、邮件目录存储、API删除消息、TLS支持和SMTP普通身份验证支持。
- Kani 0.30.0发布，是一个使用模型检查分析Rust程序的开源验证工具。
- Kani 0.30.0的新功能包括删除@celinval存根中的--harness要求、为cargo kani添加目标选择、更新Cbmc版本和升级Rust工具链。
- 完整更新日志和项目链接可在GitHub上找到。
➡️
