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 9ecf2d9f5e
force git repo root when computing version info
10 years ago
..
annotations Fix indentation of multiline copyright comment 10 years ago
bin [sync] repair broken github sync 10 years ago
etc [clang] replace yojson frontend with biniou frontend 10 years ago
lib Pass javac wrapper through command-line argument 10 years ago
models make sure that the Infer out directory is empty before generating the models 10 years ago
src force git repo root when computing version info 10 years ago
tests Fix copy-pasted test names 10 years ago
.merlin initial synchronization 10 years ago
.ocp-indent add ocp-indent configuration and eclipse launcher 10 years ago
.project initial synchronization 10 years ago
Makefile.in migrate infer/Makefile 10 years ago