mv-prover-boogie-backend
v0.3.2 GrowingMove prover Boogie backend
Quick Verdict
- ✕Not updated for 3+ years
- !Pre-1.0: API may have breaking changes
- !Heavy dependency tree (21 direct deps)
- ✓Permissive license (Apache-2.0)
- !100% of releases were yanked
Security
Deep Insights
115 downloads in the last 30 days (4/day), up 8% from the previous period.
The primary maintainer publishes 213 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.
Despite being 3+ years old, mv-prover-boogie-backend hasn't reached 1.0 yet. Expect potential API changes between versions.
21 direct dependencies. Consider the impact on compile times and supply chain complexity.
100% of releases have been yanked. Check version history before pinning.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on mv-prover-boogie-backend
