Lib.rs

›

#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 在测试中

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

MPL-2.0 许可证

67KB
1.5K SLoC

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

依赖项

~0–325KB