AliveToolkit/alive2

Verifikasi otomatis dari optimasi LLVM

↗ Buka di GitHub

Bintang

1.163

Fork

160

Bahasa

C++

Lisensi

MIT

Push terakhir

1 minggu yang lalu

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

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.