12 releases
| 0.2.0 | Sep 4, 2023 |
|---|---|
| 0.1.9 | Jul 20, 2023 |
| 0.1.4 | Feb 13, 2023 |
| 0.1.2 | Oct 3, 2022 |
#1877 in Parser implementations
175 downloads per month
Used in 3 crates
(via prusti-contracts-proc-mac…)
230KB
5K
SLoC
Internal Prusti crate implementing procedural macro processing.
Dependencies
~2.5MB
~51K SLoC