9 Commits (612e501dfc287c25eba47052651671d2571f136f)

Author SHA1 Message Date
Jules Villard 9535c4d89e [clang] convert filter_args_and_run_fcp_clang to OCaml
8 years ago
Cristiano Calcagno c613820a98 Convert c tests to the new testing format
8 years ago
Dulma Churchill c3fbd5af29 Model CHECK macro and fix the model for builtin_expect
9 years ago
Jeremy Dubreil 8072d2c1e5 report errors when all the postconditions are error states
9 years ago
Andrzej Kotulski 4584f7f6fc [clang-format] Reformat all c/cpp/objc sources with clang-format
9 years ago
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment
9 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages.
10 years ago
jrm 1356fd331f [infer][clang] test reporting of assertion failures
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago