Skip to content
Open-Source Registry

cargo / prusti-specs

prusti-specs

bitbison: no public build no release has built yet

Internal Prusti crate for parsing specifications

18,008 downloads · source · home page prusti View on crates.io

0.3.1 did not build; the badge stands for .

Versions14RiskVulnsPublished
0.3.1did not build23h ago
0.3.0did not build1d ago
0.2.0not analyzed2023-09-04
0.1.10not analyzed2023-08-11
0.1.9not analyzed2023-07-20
0.1.8not analyzed2023-06-26
0.1.7not analyzed2023-05-23
0.1.6not analyzed2023-04-05
0.1.5not analyzed2023-04-03
0.1.4not analyzed2023-02-13
0.1.3not analyzed2023-01-31
0.1.2not analyzed2022-10-03
0.1.1not analyzed2022-09-27
0.1.0not analyzed2022-09-26