about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutionState.cpp
AgeCommit message (Expand)Author
2024-01-12Follow-up: applied review comments, implemented meta-data cleanup (one more m...Tomasz Kuchta
2023-03-16Integrate KDAlloc into KLEEDaniel Schemmel
2022-06-13.err files: minor readability changes to stack trace outputFrank Busse
2022-03-09Core/ExecutionState: Fix uninitialized reads in unit testsLukáš Zaoral
2021-11-20Fixed fail with preferCex, removed relation from first argumentTaras Bereznyak
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
2020-11-12Ref: implement operator bool()Julian Büning
2020-10-12address MartinNowack's remaining feedbackJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-07-01Remove state contructor with constraintsMartin Nowack
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-06-29Enable subsets for RandomPathSearcherTimotej Kapus
2020-06-24add ExecutionState IDsFrank Busse
2020-06-24slightly update ExecutionState, remove holes in structFrank Busse
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-02-19Use `ref<>` for MemoryObject handlingMartin Nowack
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
2019-12-12[Searchers] Remove weight from es, add nurs_depthTimotej Kapus
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-05-30ExecutionState: remove fnAliasesJulian Büning
2019-05-30remove klee_alias_function()Julian Büning
2019-03-13Added --debug-log-state-merge to path merging categoryCristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2016-07-08Add deterministic allocation of memoryMartin Nowack
2015-04-03Fixed issue introduce during a previous refactoring, related to field ordering.Cristian Cadar
2015-04-02Silenced some compilation warnings.Cristian Cadar
2015-04-02Removed unused fakeState field from ExecutionStateCristian Cadar
2015-04-02Removed underConstrained field, which I believe was re-introduced byCristian Cadar
2015-04-02[Core] Documentation and cleanupMartin Nowack
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2012-01-18Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memoryCristian Cadar
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2010-06-24Added ExecutionState::dumpStack function for inspecting the status of the stackPeter Collingbourne
2010-03-14Kill off ExecutionTrace stuff, it is too messy.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-06-14Remove some unused functionality.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-22 01:41:09 +0000