fd8a864c15
doing preanalysis on-demand
...
Reviewed By: jeremydubreil
Differential Revision: D3352767
fbshipit-source-id: a9dcc0a
9 years ago
617ffab0ac
Add @generated comment to icfg.dot files
...
Reviewed By: jvillard
Differential Revision: D3358243
fbshipit-source-id: a47cc01
9 years ago
6f6da12b2c
don't nullify params/locals at beginning of procedure
...
Reviewed By: jeremydubreil
Differential Revision: D3258615
fb-gh-sync-id: 73e4670
fbshipit-source-id: 73e4670
9 years ago
d366bb970b
Create the procdescs for frontend checks only when needed
...
Reviewed By: sblackshear, ddino
Differential Revision: D3173939
fb-gh-sync-id: 236898b
fbshipit-source-id: 236898b
9 years ago
44491679cf
Fix broken tests in master
...
Reviewed By: jvillard, sblackshear
Differential Revision: D3151081
fb-gh-sync-id: 86e66e0
fbshipit-source-id: 86e66e0
9 years ago
e9cb9f4352
assign pointer type checker
...
Reviewed By: dulmarod
Differential Revision: D3125521
fb-gh-sync-id: 33c4693
fbshipit-source-id: 33c4693
9 years ago
fc5d4897a5
Registered Observer check done by front-end
...
Reviewed By: dulmarod
Differential Revision: D3007938
fb-gh-sync-id: 9813a19
shipit-source-id: 9813a19
9 years ago
4584f7f6fc
[clang-format] Reformat all c/cpp/objc sources with clang-format
...
Reviewed By: jul
Differential Revision: https://phabricator.fb.com/D2953843
9 years ago
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
ca613a77ff
[copyrightor] format start and end of copyright comments
...
Summary:
The script now reformats the start and end of comments if necessary.
10 years ago
3e199467f4
Complete copyright messages.
10 years ago
b8982270f2
initial synchronization
10 years ago
Sam Blackshear
Andrzej Kotulski
Dulma Rodriguez
Dino Distefano
Josh Berdine
Jules Villard
Cristiano Calcagno
Open Source Synchronization