【Rust日报】2023-08-13
💡
原文中文，约1100字，阅读约需3分钟。
📝
内容提要
Pipelight项目发布了v0.6.14版本，增加了文件修改时触发管道、28个可用的git hook触发管道等功能。egui_dnd发布了0.5.0版本，支持动画和触摸。Kani发布了0.34.0版本，通过更改默认求解器为CaDiCaL来提高性能。
🎯
关键要点
- Pipelight项目发布了v0.6.14版本，增加了文件修改时触发管道的功能。
- 支持在28个可用的git hook上触发管道。
- 增加了更高详细级别的日志打印功能。
- 文档的解释和细节不断增加，添加了许多单元测试以避免软件回归。
- 核心进行了重构，二进制大小从11 Mb减少到6 Mb。
- egui_dnd发布了0.5.0版本，支持动画和触摸功能。
- 该版本改进了拖动的不同阶段的跟踪，提供了更简单的API。
- Kani发布了0.34.0版本，默认求解器更改为CaDiCaL以提高性能。
- Kani是一个开源验证工具，特别适用于验证Rust中的不安全代码块。
➡️
