Lib.rs

› Parser implementations
#prusti #specification #macro #procedural #parser #proc-macro #processing

nightly prusti-specs

Internal Prusti crate for parsing specifications

by Federico Poli, Vytautas Astrauskas, Aurel, Jonáš Fiala, Jonas and 47 contributors. Owned by prusti-devs.

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

#1903 in Parser implementations

Download history 3/week @ 2024-11-16 2/week @ 2024-11-23 2/week @ 2024-11-30 9/week @ 2024-12-07 2/week @ 2024-12-14

175 downloads per month
Used in 3 crates (via prusti-contracts-proc-mac…)

MPL-2.0 license

230KB
5K SLoC

Internal Prusti crate implementing procedural macro processing.

Dependencies

~2.5MB
~51K SLoC