8 Commits (e7217ac5fe2dff4c57fdf079ba6d25ba41a505b9)

Author SHA1 Message Date
Jules Villard 801c605c26 [CLI] switch to infer-<command> (symlinks) executables
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
8 years ago
Jules Villard 9535c4d89e [clang] convert filter_args_and_run_fcp_clang to OCaml
8 years ago
Jules Villard c53bfe3159 [clang] rewrite plugin attachment logic in OCaml
8 years ago
Jules Villard 7d49e16d63 [clang] rewrite hijack_and_normalize_clang_command in OCaml
8 years ago
Jules Villard 596823bd32 support `clang -c file1.c file2.c`
9 years ago
Jules Villard 872ce8ea87 move python code to infer package
9 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago