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
/
ExecutionState.h
Age
Commit message (
Expand
)
Author
2024-01-12
Follow-up: applied review comments, implemented meta-data cleanup (one more m...
Tomasz Kuchta
2024-01-12
Feature: implement single memory object resolution for symbolic addresses.
Tomasz Kuchta
2024-01-12
Renamed PTree to ExecutionTree (and similar)
Cristian Cadar
2023-03-23
stats: rename States -> ActiveStates, add States
Frank Busse
2023-03-16
Integrate KDAlloc into KLEE
Daniel Schemmel
2022-03-09
Core/ExecutionState: Fix uninitialized reads in unit tests
Lukáš Zaoral
2021-11-20
Fixed fail with preferCex, removed relation from first argument
Taras Bereznyak
2020-10-12
address MartinNowack's remaining feedback
Julian Büning
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2020-07-01
Remove state contructor with constraints
Martin Nowack
2020-07-01
Use constraint sets and separate metadata for timing solver invocation
Martin Nowack
2020-07-01
Separate constraint set and constraint manager
Martin Nowack
2020-06-29
Enable subsets for RandomPathSearcher
Timotej Kapus
2020-06-24
add ExecutionState IDs
Frank Busse
2020-06-24
slightly update ExecutionState, remove holes in struct
Frank Busse
2020-04-30
Created include/klee/Core directory and moved appropriate files direc\
Cristian Cadar
