11 个版本

0.2.0 2023 年 9 月 4 日
0.1.9 2023 年 7 月 20 日
0.1.4 2023 年 2 月 13 日
0.1.2 2022 年 10 月 3 日

#806测试

Download history • Rust 包仓库 48/week @ 2024-03-11 • Rust 包仓库 12/week @ 2024-03-18 • Rust 包仓库 6/week @ 2024-03-25 • Rust 包仓库 61/week @ 2024-04-01 • Rust 包仓库 7/week @ 2024-04-08 • Rust 包仓库 19/week @ 2024-04-15 • Rust 包仓库 10/week @ 2024-04-22 • Rust 包仓库 2/week @ 2024-04-29 • Rust 包仓库 6/week @ 2024-05-06 • Rust 包仓库 6/week @ 2024-05-13 • Rust 包仓库 15/week @ 2024-05-20 • Rust 包仓库 31/week @ 2024-05-27 • Rust 包仓库 11/week @ 2024-06-03 • Rust 包仓库 11/week @ 2024-06-10 • Rust 包仓库 10/week @ 2024-06-17 • Rust 包仓库 14/week @ 2024-06-24 • Rust 包仓库

51 每月下载量
2 个 crate 中使用 (via prusti-contracts)

MPL-2.0 许可证

67KB
1.5K SLoC

内部 Prusti proc-macro 库。由于 Rust 的 限制,必须与 prusti-contracts 分离。

依赖项

~0–325KB