about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutionState.cpp
AgeCommit message (Expand)Author
2024-03-05Clean up interfacesNguyễn Gia Phong
2024-03-05Handle conjoined metaconstraintsNguyễn Gia Phong
2024-03-05Execute concrete programs more eagerlyNguyễn Gia Phong
2024-03-05Handle revisited meta sym var when generate env varNguyễn Gia Phong
2024-03-05Retire external symbilic diffNguyễn Gia Phong
2024-03-05Fix metavar detection false negativeNguyễn Gia Phong
2024-03-05Support 1-byte metavariablesNguyễn Gia Phong
2024-03-05Add search heuristic for patch locationsNguyễn Gia Phong
2024-03-05Conclude concrete execution implNguyễn Gia Phong
2024-03-05Lay ground work for concrete executionNguyễn Gia Phong
2024-03-05Clone state more completelyNguyễn Gia Phong
2024-03-05Implement differentiator extractionNguyễn Gia Phong
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-07-16 16:37:47 +0000