You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Andrzej Kotulski 65449c87ab Fix unique_ptr model ... Summary:public Conversion constructor of unique_ptr should be explicit. Fix it. Reviewed By: cristianoc Differential Revision: D3075661 fb-gh-sync-id: e911d8c shipit-source-id: e911d8c		9 years ago
..
c	Fixed problem with null pointer dereference in c library models.	9 years ago
cpp	Fix unique_ptr model	9 years ago
java	adding "kind" for taint attribute	9 years ago
objc	Model NSArray::arrayWithObject	9 years ago
Makefile.in	do not use ocamlbuild -clean, do not print rm commands	9 years ago
build.pl	initial synchronization	10 years ago