cd002e5c46
fixing angelic mode for struct values passed by reference
...
Reviewed By: jberdine
Differential Revision: D2914131
fb-gh-sync-id: 86602ad
shipit-source-id: 86602ad
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.
9 years ago
3e199467f4
Complete copyright messages.
10 years ago
d7a4474d90
[Infer][angelic] Adding angelic abduction on actuals passed by reference
10 years ago
b8982270f2
initial synchronization
10 years ago
Sam Blackshear
Josh Berdine
Jules Villard
Cristiano Calcagno
Open Source Synchronization