You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Andrzej Kotulski da3a106541
Always translate CXXRecordDecl as Sil.Class
10 years ago
..
.idea Update the intellij settings. 10 years ago
codetoanalyze Always translate CXXRecordDecl as Sil.Class 10 years ago
endtoend Translate dynamic cast for C++ 10 years ago
frontend Translate conversion operators 10 years ago
utils Implemented new check CXX_REFERENCE_CAPTURED_IN_OBJC_BLOCK 10 years ago
.inferconfig Adding inferconfig support to skip the translation of generated source code 10 years ago
BUCK initial synchronization 10 years ago
ant_report.json implementing dynamic dispatch support for Java interfaces 10 years ago
buck_report.json implementing dynamic dispatch support for Java interfaces 10 years ago
build.xml [infer][java] revive the small example of Ant project 10 years ago
tests.iml initial synchronization 10 years ago