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.

jrm cc89c6f8ac [infer] non-functional refactoring when obtaining the procedure description of function calls ... Summary: @public This is a non-functional refactoring to remove the need for having the procedure description of the callee when execution function calls. Test Plan: Infer CI. Expecting no change in the results.		10 years ago
..
annotations	initial synchronization	10 years ago
bin	[inferTraceBugs] fix crash on no-longer-needed bucket removal	10 years ago
lib	[infer][models] Fixing InferAssume	10 years ago
models	[Infer][C frontend] Fixing double translation of builtin args	10 years ago
src	[infer] non-functional refactoring when obtaining the procedure description of function calls	10 years ago
tests	[Infer][C frontend] Fixing double translation of builtin args	10 years ago
.merlin	initial synchronization	10 years ago
.project	initial synchronization	10 years ago
Makefile	initial synchronization	10 years ago