viperproject/prusti-dev
@viperprojectEin statischer Verifizierer für Rust, basierend auf der Viper-Verifizierungsinfrastruktur.
Sterne
1.809
Forks
125
Sprache
Rust
Lizenz
NOASSERTION
Letzter Push
vor 2 Wochen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.