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 |