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 46 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

#1786 in Parser implementations

Download history 1/week @ 2024-07-21 24/week @ 2024-07-28 1/week @ 2024-08-04 1/week @ 2024-09-01 4/week @ 2024-09-15 32/week @ 2024-09-22 5/week @ 2024-09-29

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

~2MB
~51K SLoC