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.

Josh Berdine e607ceb5ba Re-enable printing of specs in InferPrint ... Summary: public It seems that restricting printing to stdout and stderr to developer mode has broken InferPrint. So unconditionally turn developer mode on in InferPrint. Reviewed By: sblackshear Differential Revision: D2786897 fb-gh-sync-id: 44b5772		10 years ago
..
.settings	add ocp-indent configuration and eclipse launcher	10 years ago
backend	Re-enable printing of specs in InferPrint	10 years ago
checkers	simplify the PatternMatch module	10 years ago
clang	Use the Mangled module to name the parameters in the procudure description instead of simple string	10 years ago
harness	remove the function Sil.get_typ and use Sil.tenv_lookup instead	10 years ago
java	Use the Mangled module to name the parameters in the procudure description instead of simple string	10 years ago
llvm	Use the Mangled module to name the parameters in the procudure description instead of simple string	10 years ago
opensource	fix open-source taint models	10 years ago
scripts	Remove unnecessary code from Arg module	10 years ago
Makefile.in	do not use --delete when rsyncing annotations	10 years ago
_tags	add empty _tags file to pacify ocaml	10 years ago