Pipelight - 自托管自动化管道 -> v0.6.14
嗨,大家好!距离我和大家分享这个项目已经一个多月了。你们中一些人对这个项目的热情欢迎让我深受感动。感谢你们中许多人一直支持和帮助我改进它。
从那以后发生了什么变化?
- 您现在可以在文件修改时触发管道。
- 您可以在 28 个可用的 git hook 上触发管道。
- 使用更高详细级别的日志 -vvvv 打印日志以查看命令 stdout/stderr。
- 该文档的解释和细节不断增加。
- 我添加了很多单元测试以避免软件回归。
- 我重构了核心,将其作为独立的板条箱公开。
对于高级用户:
- 由于内部 API 重新考虑,二进制大小已从 11 Mb 减少到 6 Mb。
https://pipelight.dev/
egui_dnd 0.5.0,支持动画和触摸
我刚刚发布了egui_dnd的 0.5.0 版本,这是一个用于 egui 的拖放排序库。 开发这个版本真的很有趣,我至少两次完全重构了核心逻辑。最终摆脱了我在初始版本中编写的所有解决方法和技巧,这真的很令人满意。
我现在使用一个大枚举来跟踪拖动的不同阶段,我觉得这确实改善了代码的流程。
此版本的更改:
- 触摸支持(拖动滚动并按住+拖动进行拖动)
- 动画:项目移动时现在有动画
- 支持水平和水平环绕布局
- 支持拖动手柄中的按钮
- 更简单的API
Kani 0.34.0已经发布了!
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 日报小组 时光
社区学习交流平台订阅:
- Rustcc 论坛:支持 rss
- [微信公众号:Rust 语言中文社区]
1
共 0 条评论, 1 页
评论区
写评论还没有评论