sparta
crates.ioSPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Latest v0.1.4 · Sep 19, 2026
Downloads
No download history yet.
Linked repositories
| ## | RepositoryRepository | ConnectionConnection |
|---|---|---|
| 1 | facebook/redex | Source package · Manifest |
| 2 | meta/SPARTA | Registry metadata |
Recent releases
| Version | Published |
|---|---|
| 0.1.4 | Sep 19, 2026 |
| 0.1.3 | Aug 24, 2026 |
| 0.1.2 | May 4, 2023 |
| 0.1.1 | Sep 9, 2022 |
| 0.1.0yanked | Aug 5, 2022 |