about summary refs log tree commit diff homepage
path: root/lib/Core/MemoryManager.h
AgeCommit message (Expand)Author
2023-05-26Use unique_ptr for MemoryManager and avoid re-creating it in the first placeMartin Nowack
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2019-06-04make endif guard naming consistentJulian Büning
2018-09-06Fix missing includes and declarationsMartin Nowack
2017-02-24Teach KLEE to respect the requested memory alignment of globals and stackDan Liew
2016-07-08Clang-formated MemoryManagerMartin Nowack
2016-07-08Add deterministic allocation of memoryMartin Nowack
2016-07-08Handle aligned varargs allignment correctlyMartin Nowack
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2012-01-18Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memoryCristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 00:46:15 +0000