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.
Jules Villard 09f5605a6e
move build integration tests to infer/tests/
10 years ago
..
.idea Add the models to the intellij project that contains the tests 10 years ago
build_systems move build integration tests to infer/tests/ 10 years ago
codetoanalyze Translate SizeOfPackExpr 10 years ago
endtoend Translate GCCAsmStmt 10 years ago
frontend Translate SizeOfPackExpr 10 years ago
utils Introducing checker for observer of notification centers 10 years ago
.inferconfig Adding inferconfig support to skip the translation of generated source code 10 years ago
BUCK initial synchronization 10 years ago
build.xml [infer][java] revive the small example of Ant project 10 years ago
tests.iml initial synchronization 10 years ago