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 5912e607ff [inferTraceBugs] fix selected/displayed bug mismatch ... Summary: inferTraceBugs filters the bugs to only show those which have a trace attached to them. However, the number selected by the user would then be used in the unfiltered list of bugs. This led to sometimes selecting the wrong bug from the text interface and from the --select option.		10 years ago
..
annotations	initial synchronization	10 years ago
bin	[inferTraceBugs] fix selected/displayed bug mismatch	10 years ago
lib	[Infer][capture] Fixing Python AttributeError in javac capture	10 years ago
models	[clang] Adding support for NSMakeCollectable and CFMakeCollectable	10 years ago
src	[Eradicate] Fix issue where direct throw instructions were not handled like method calls that trow exceptions.	10 years ago
tests	[Eradicate] Fix issue where direct throw instructions were not handled like method calls that trow exceptions.	10 years ago
.merlin	initial synchronization	10 years ago
.project	initial synchronization	10 years ago
Makefile	initial synchronization	10 years ago