Pipelight - 自托管自动化管道 -> v0.6.14

嗨，大家好！距离我和大家分享这个项目已经一个多月了。你们中一些人对这个项目的热情欢迎让我深受感动。感谢你们中许多人一直支持和帮助我改进它。

从那以后发生了什么变化？

对于高级用户：

https://pipelight.dev/

egui_dnd 0.5.0，支持动画和触摸

我刚刚发布了egui_dnd的 0.5.0 版本，这是一个用于 egui 的拖放排序库。开发这个版本真的很有趣，我至少两次完全重构了核心逻辑。最终摆脱了我在初始版本中编写的所有解决方法和技巧，这真的很令人满意。

我现在使用一个大枚举来跟踪拖动的不同阶段，我觉得这确实改善了代码的流程。

此版本的更改：

查看演示和GitHub 页面以获取更多信息。

https://github.com/lucasmerlin/egui_dnd

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

以下是0.34.0版本中新增内容的摘要：

重大变化

通过https://github.com/model-checking/kani/pull/2557中的 @celinval 将默认求解器更改为 CaDiCaL默认情况下，Kani 现在将使用 CaDiCaL 运行 CBMC，因为该求解器在我们的大多数基准测试中都优于 Minisat。

发生了什么变化

允许在https://github.com/model-checking/kani/pull/1661中的 @fzaiser 在 #[kani_proof] 中为异步函数指定调度策略
支持由 @feliperodri 在https://github.com/model-checking/kani/pull/2658中删除外部函数
无需使用 cbmc-viewer 的覆盖率报告，作者为 @adpaco-aws，位于https://github.com/model-checking/kani/pull/2609
通过 @celinval 在https://github.com/model-checking/kani/pull/2633添加对基于数组的 SIMD 的支持
在https://github.com/model-checking/kani/pull/2630中添加未检查/SIMD 位移位检查并禁用 @reisnera 的 CBMC 标志
修复常量字节切片的代码生成，以解决 @zhassan 在https://github.com/model-checking/kani/pull/2663中的虚假验证失败问题
通过https://github.com/model-checking/kani/pull/2662中的 @remi-delmas-3000 将 CBMC 升级到 v5.89.0
由 @remi-delmas-3000 在https://github.com/model-checking/kani/pull/2661中将 Rust 工具链更新为每晚 2023-08-04

完整变更日志：https://github.com/model-checking/kani/compare/kani-0.33.0...kani-0.34.0

From 日报小组时光

社区学习交流平台订阅：