AliveToolkit/alive2

@AliveToolkit

Automatische Verifizierung von LLVM-Optimierungen

↗ Auf GitHub öffnen

Sterne

1.163

Forks

160

Sprache

C++

Lizenz

MIT

Letzter Push

vor 1 Woche

C++verification model-checking llvm llvm-ir smt symbolic-execution automatic-verification translation-validation

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.

Verwandte Intel (0)

Noch keine verwandte Intel