about summary refs log tree commit diff homepage
path: root/include/klee/KDAlloc/allocator.h
AgeCommit message (Expand)Author
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-03-16Add the KDAlloc allocator using both of its suballocatorsDaniel Schemmel
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-03 02:20:26 +0000