index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
Core
/
Executor.h
Age
Commit message (
Expand
)
Author
2024-03-05
Revert orphaned changes
Nguyễn Gia Phong
2024-03-05
Move differentiator to separate module
Nguyễn Gia Phong
2024-03-05
Implement detection of implicit return via pointer
Nguyễn Gia Phong
2024-03-05
Implement return value detection
Nguyễn Gia Phong
2024-03-05
Retire external symbilic diff
Nguyễn Gia Phong
2024-03-05
Implement native path condition combination
Nguyễn Gia Phong
2024-03-05
Avoid resolving combined SMT formulae
Nguyễn Gia Phong
2024-03-05
Half-bake decision clustering
Nguyễn Gia Phong
2024-03-05
Conclude concrete execution impl
Nguyễn Gia Phong
2024-03-05
Lay ground work for concrete execution
Nguyễn Gia Phong
2024-03-05
Implement differentiator extraction
Nguyễn Gia Phong
2024-02-29
Refactor `ObjectState::flushToConcreteStore` to use `toConstant`
Martin Nowack
2024-02-27
Extend toConstant() to take an additional boolean argument that decides wheth...
Cristian Cadar
2024-01-30
Modify getValueFromSeeds() to include more functionality and simplify its cal...
Cristian Cadar
2024-01-30
Concretize constants using seed values, when available. Added two tests (w/ ...
Cristian Cadar
2024-01-12
Renamed PTree to ExecutionTree (and similar)
Cristian Cadar
2024-01-12
new: persistent ptree (-write-ptree) and klee-ptree
Frank Busse
2023-05-26
Use unique_ptr for MemoryManager and avoid re-creating it in the first place
Martin Nowack
2023-04-21
use unique_ptr all throughout the solver chain
Daniel Schemmel
2023-03-23
stats: add termination class stats
Frank Busse
2023-03-20
llvm14: PointerType::getElementType() was deprecated
Lukáš Zaoral
2023-03-16
Integrate KDAlloc into KLEE
Daniel Schemmel
2022-07-04
Inline asm external call
Mikhail
2022-01-05
introduce BranchTypes
Frank Busse
2021-12-23
Introduce termination categories
Frank Busse
2021-05-10
allocate memory objects for functions
Julian Büning
2021-04-20
Replaced the time-based delay after which the max-static-*-pct checks are per...
Cristian Cadar
2021-04-20
Added -max-static-pct-check-delay to replace the hardcoded delay after which ...
Cristian Cadar
2021-04-20
Refactored MaxStatis*Pct conditions into a separate function.
Cristian Cadar
2021-02-16
add ifdefs for C++ exception handling
Julian Büning
2020-12-04
llvm11: Composite and Sequential types were removed
Lukas Zaoral
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2020-07-30
introduce --rng-initial-seed=<unsigned>
Frank Busse
2020-06-29
Enable subsets for RandomPathSearcher
Timotej Kapus
2020-06-25
Enforce fork/branch limits in branch() and fix double termination
Frank Busse
2020-06-25
fix Executor: initializeGlobalAliases
Julian Büning
2020-06-25
Executor: split initializeGlobals
Julian Büning
2020-06-24
add ExecutionState IDs
Frank Busse
2020-04-30
Created include/klee/Core directory and moved appropriate files direc\
Cristian Cadar
2020-04-30
Move header files from lib/Expr to include/klee/Expr to eliminate includes us...
Cristian Cadar
2020-04-30
Removed the Internal directory from include/klee
Cristian Cadar
2019-11-28
Move merging related code from Executor into MergingSearcher
Lukas Wölfer
2019-10-29
ExecutorTimers: refactor and move to support lib
Frank Busse
2019-10-29
ExecutorTimers: remove signalling, fix endless looping fork
Frank Busse
2019-10-08
Executor.h: remove defined functions without implementation
Frank Busse
2019-09-20
refactor PTree: remove split(), add attach() method
Frank Busse
2019-08-15
ExecutorTimers: move dumpStates/dumpPTree into Executor
Frank Busse
2019-07-30
Consolidated Expr-related include files into a single include/klee/Expr direc...
Cristian Cadar
2019-06-04
make endif guard naming consistent
Julian Büning
2018-11-23
Implemented memalign with alignment
Lukas Wölfer
[next]