Lib.rs

› 解析器实现
#prusti #specification #macro #procedural #parser #proc-macro #processing

nightly prusti-specs

Prusti内部用于解析规范的工具包

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

12个版本

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

#1894 在 解析器实现


在 3 个工具包中使用 (通过 prusti-contracts-proc-mac…)

MPL-2.0 许可证

230KB
5K SLoC

实现过程宏处理的Prusti内部工具包。

依赖项

~2MB
~49K SLoC