Issues du dépôt

spacejam/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Voir sur GitHub
Stars
 (0 étoile)
Forks
 (0 fork)
Issues indexées
 (0 issue indexée)
issues débutant ouvertes
 (0 issue débutant ouverte)
Dernière indexation
12 août 2026
Dernier push GitHub
5 oct. 2021
Licence
Other
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Rust
Métriques de merge PR
 (Aucune PR mergée en 30 j)
Labels débutant
Aucun label débutant indexé

Issues

0 issue indexée fermée

Aucune issue indexée fermée trouvée pour ce dépôt.