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

#1894 in Parser implementations


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
~49K SLoC