about summary refs log tree commit diff homepage
path: root/lib/Core/Memory.h
AgeCommit message (Expand)Author
2024-02-29Refactor `ObjectState::flushToConcreteStore` to use `toConstant`Martin Nowack
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2022-01-06Comment the code dealing with un/flushed bytes, and resolve old naming issue ...Cristian Cadar
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-02-19Use `ref<>` for MemoryObject handlingMartin Nowack
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-06-04make endif guard naming consistentJulian Büning
2018-05-17Add support for concretizing symbolic objects passed to external functionsTimotej Kapus
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-02-18Make print function of ObjectState public and constMartin Nowack
2017-04-09Removed unused variable 'fake_object' in MemoryObjectAndrea Mattavelli
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
2010-05-02Fix some const cast warnings.Daniel Dunbar
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
2009-06-26Simplify read/write code.Daniel Dunbar
2009-06-14More ConstantExpr cleanup.Daniel Dunbar
2009-06-13Switch to using constant arrays for non-symbolic objects.Daniel Dunbar
2009-06-13Create new ObjectState constructor for explicitly creating symbolic objects.Daniel Dunbar
2009-06-10Move Array construction out of MemoryObject into ObjectState.Daniel Dunbar
2009-06-09Remove Array::object.Daniel Dunbar
2009-06-09Remove Array::id.Daniel Dunbar
2009-06-09Add Array::name field, initialized but not used for anything yet.Daniel Dunbar
2009-06-02Use ConstantExpr::alloc instead of ref<Expr> directlyDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 05:48:06 +0000