मुख्य सामग्री पर जाएँ
buildradar
Sign in

AliveToolkit/alive2

@AliveToolkit

LLVM अनुकूलन (optimizations) का स्वचालित सत्यापन

स्टार
1,163
फ़ोर्क
160
भाषा
C++
लाइसेंस
MIT
आख़िरी push
1 सप्ताह पहले
C++verificationmodel-checkingllvmllvm-irsmtsymbolic-executionautomatic-verificationtranslation-validation

अभी कोई संबंधित intel नहीं

यह रिपॉजिटरी radar द्वारा ट्रैक किए जाने वाले किसी भी स्रोत में अभी तक नहीं आई है। कलेक्टर एक शेड्यूल पर चलता है — जब यह इस रिपॉजिटरी को कवर करे तब वापस देखें।