14 Commits (51f494f542037c34aa04e9b1097eb4ec59e5304f)

Author SHA1 Message Date
Josh Berdine b93bbfdd39 Fix recursive make invocations building models
9 years ago
Dulma Rodriguez 193fb8799c Removing issues in the models that cause Infer to flag warnings
9 years ago
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment
9 years ago
Jules Villard a31d45b4f7 do not use ocamlbuild -clean, do not print rm commands
9 years ago
Jules Villard c95a142d76 remove GNU-specific install flags
9 years ago
Jules Villard 7f1b494001 migrate infer/models/Makefile
9 years ago
Dino Distefano 761e4acc08 Adding models of CADisplayLink for catching retain cycles.
10 years ago
Dino Distefano e6625c9e37 Adding models for NSTimer and NSRunLoop
10 years ago
martinoluca 721cc1957c Specify to clang to use x86_64 to build models and tests for ObjectiveCxx
10 years ago
Jules Villard ca613a77ff [copyrightor] format start and end of copyright comments
10 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages.
10 years ago
Dulma Rodriguez ea3e614cce [clang] Adding support for NSMakeCollectable and CFMakeCollectable
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