Alive2

Automatic verification of LLVM optimizations

موقع المشروع

طرق التثبيت

Open it in a graphical application? In development

channel:

unstable

الاصدار:

21.0

مدعوم:

نعم

مكسور:

لا

الرخصة:

حر

المنصة:

78