about summary refs log tree commit diff homepage
path: root/include/klee/KDAlloc
AgeCommit message (Expand)Author
2023-10-23replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_sta...Daniel Schemmel
2023-07-06Implement getLocationInfo in the same style as getSizeDaniel Schemmel
2023-07-06Have CoWPtr::get and CoWPtr::getOwned return pointers instead of referencesDaniel Schemmel
2023-07-06rename Allocator::location_info to Allocator::locationInfo forDaniel Schemmel
2023-06-06Further improve KDAlloc memory usage with infinite quarantineDaniel Schemmel
2023-05-26add unsized free to kdallocDaniel Schemmel
2023-05-26Improve LOH deallocation schemeDaniel Schemmel
2023-05-26Add `getMapping` primitive to allocator directlyDaniel Schemmel
2023-05-26Add `getSize` primitive to kdallocDaniel Schemmel
2023-05-26prevent assertions from failing unnecessarilyDaniel Schemmel
2023-05-26Write `Control::meta` in C++17 styleDaniel Schemmel
2023-04-18change some obsolete KDAlloc commentsJulian Büning
2023-04-06Mark variable as potentially unusedMartin Nowack
2023-03-16Add the KDAlloc allocator using both of its suballocatorsDaniel Schemmel
2023-03-16The KDAlloc loh allocator is useful for variable sized (large) allocationsDaniel Schemmel
2023-03-16The KDAlloc slot allocator is useful for small sized allocationsDaniel Schemmel
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-20 11:18:42 +0000