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
..
begin_name_override.inc Make sizeof(std::shared_ptr) = 16 9 years ago
common.h Model empty vector access 9 years ago
end_name_override.inc Make sizeof(std::shared_ptr) = 16 9 years ago
infer_traits.h Replace shared_ptr<T> structs with T* pointers 8 years ago
portability.h Create initial vector header for models 9 years ago
shared_ptr.h Skip Sil.Call instruction for some shared_ptr method calls 8 years ago
unique_ptr.h Revert "[C++] Move models of smart pointers to custom namespace" 8 years ago
vector.h Model vector::resize(n) as nonempty vector 9 years ago