Lib.rs

› 开发工具 › 测试 › prusti-contracts
#prusti #proc-macro #limitation #due #separate #verification

宏 prusti-contracts-proc-macros

内部 proc-macro Prusti 库

作者： Federico Poli，Vytautas Astrauskas，Aurel，Jonáš Fiala，Jonas 等 46 位贡献者。 所有者： prusti-devs。

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