63 Commits (7ab19955bb11707cfefed3c2425a0fbcbae5912b)

Author	SHA1	Message	Date
Dulma Rodriguez	193fb8799c	Removing issues in the models that cause Infer to flag warnings ... Summary: public The properties in those models needed to be made nonatomic. Reviewed By: akotulski Differential Revision: D2773650 fb-gh-sync-id: 903e7df	9 years ago
Josh Berdine	63b57790f9	Fix indentation of multiline copyright comment ... Summary: public Lines other than the first of multi-line comments in non-ocaml files were flush right instead of aligned. Reviewed By: jvillard Differential Revision: D2739752 fb-gh-sync-id: c85f56e	9 years ago
Jules Villard	a31d45b4f7	do not use ocamlbuild -clean, do not print rm commands ... Reviewed By: jberdine Differential Revision: D2749088 fb-gh-sync-id: 2a24d5e	9 years ago
Jules Villard	c95a142d76	remove GNU-specific install flags ... Reviewed By: dulmarod Differential Revision: D2718057 fb-gh-sync-id: 70766d7	9 years ago
Jules Villard	7f1b494001	migrate infer/models/Makefile ... Summary: public Use autoconf's detection of xcode-select to decide whether to build the ObjC models or not. Reviewed By: jeremydubreil Differential Revision: D2703864 fb-gh-sync-id: e6dadca	9 years ago
Dino Distefano	761e4acc08	Adding models of CADisplayLink for catching retain cycles. ... Reviewed By: dulmarod Differential Revision: D2668570 fb-gh-sync-id: 79063e4	9 years ago
Dino Distefano	e6625c9e37	Adding models for NSTimer and NSRunLoop ... Reviewed By: @dulmarod Differential Revision: D2502606 fb-gh-sync-id: 9c26103	9 years ago
martinoluca	721cc1957c	Specify to clang to use x86_64 to build models and tests for ObjectiveCxx	9 years ago
Jules Villard	ca613a77ff	[copyrightor] format start and end of copyright comments ... Summary: The script now reformats the start and end of comments if necessary.	9 years ago
Cristiano Calcagno	3e199467f4	Complete copyright messages.	9 years ago
Dulma Rodriguez	ea3e614cce	[clang] Adding support for NSMakeCollectable and CFMakeCollectable ... Summary: @public Adding support for NSMakeCollectable and CFMakeCollectable. Fixes issue https://github.com/facebook/infer/issues/116 Test Plan: Tested on the example of the issue https://github.com/facebook/infer/issues/116 and we don't get the leak there anymore.	10 years ago
jrm	5e9f88eaeb	[infer][Java] more consistent names for env variables	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago