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

#2035 in Parser implementations

Download history 46/week @ 2024-01-28 1/week @ 2024-02-04 49/week @ 2024-02-18 267/week @ 2024-02-25 14/week @ 2024-03-03 20/week @ 2024-03-10 11/week @ 2024-03-17 42/week @ 2024-03-31 3/week @ 2024-04-07 7/week @ 2024-04-14 7/week @ 2024-04-21

59 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
~46K SLoC