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 4cd9470586
Skip Sil.Call instruction for some shared_ptr method calls
8 years ago
..
backward Add unique_ptr model 9 years ago
bits Add unique_ptr model 9 years ago
fatal/type Add hack to not use __make_integer_seq in fatal/type/sequence library 9 years ago
glog Define STATIC_ANALYSIS macro when using glog/logging.h 9 years ago
infer_model Skip Sil.Call instruction for some shared_ptr method calls 8 years ago
memory Better detection of stdlibc++/libc++ and C++11 9 years ago
vector Create initial vector header for models 9 years ago