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
Age
Commit message (
Expand
)
Author
2018-06-13
klee_int: allow NULL as name
Frank Busse
2018-06-11
Fixed memory leak from Executor::inCloseMerge, fixes #883
Lukas Wölfer
2018-05-24
isLSB should be a boolean, as it is only used in truth contexts
Daniel Schemmel
2018-05-24
remove switch fallthrough in floating point comparision
Daniel Schemmel
2018-05-24
llvm37: handle getRegisteredOptions
Jiri Slaby
2018-05-24
llvm: make KLEE compile against LLVM 3.7
Richard Trembecký
2018-05-24
llvm37: handle GetElementPtrInst::Create's new parameter
Jiri Slaby
2018-05-22
clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}
Julian Büning
2018-05-22
some housekeeping in Passes.h and IntrinsicCleaner.cpp
Julian Büning
2018-05-22
CompressionStream: fix sporadic segfaults (uninitialised avail_in)
Frank Busse
2018-05-22
Removed .c_str() from getSourceLocation calls
Cristian Cadar
2018-05-22
Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to re...
Cristian Cadar
2018-05-22
Simplified printFileLine by using std::to_string, and removed unneeded versio...
Cristian Cadar
2018-05-21
stop using DEBUG macro name
Jiri Slaby
2018-05-21
fix some casts for LLP64 compilers
Frank Busse
2018-05-17
Abort execution if --only-output-states-covering-new is enabled but its depen...
Cristian Cadar
2018-05-17
Add support for concretizing symbolic objects passed to external functions
Timotej Kapus
2018-05-17
Improve error messages for ReadStringAtAddress
Timotej Kapus
2018-05-15
Improved code quality
Lukas Wölfer
2018-05-15
Implemented incomplete merging
Lukas Wölfer
2018-05-15
remove QueryLog.h
Frank Busse
2018-05-09
Improve handling of constant array in Z3
Timotej Kapus
2018-05-09
Remove the option for truncating lines in assembly.ll
Martin Nowack
2018-05-09
Remove workaround for bug in older LLVM version (< 3)
Martin Nowack
2018-05-09
Fix include files
Martin Nowack
2018-05-05
Fix handling of errno if external functions are invoked
Martin Nowack
2018-05-05
Factor out method to update state memory with process state
Martin Nowack
2018-05-01
add blockaddress and indirectbr instructions
Frank Busse
2018-05-01
fix compilation warning
Frank Busse
2018-04-09
doDumpStates: incorrectly increments stats
Frank Busse
2018-03-01
Store CexCache stats and then update klee-stats to use them
Domenico Fabio Marino
2018-02-18
Fail for aggegrations with big endian ordering
Martin Nowack
2018-02-18
Fixed handling of constant vectors with complex data
Martin Nowack
2018-02-18
Make print function of ObjectState public and const
Martin Nowack
2018-02-18
Fix correct element order of InsertElement/ExtractElement
Martin Nowack
2018-02-18
Fix getelementptr for array or vector indices
Martin Nowack
2018-02-18
Fix generation of expressions from constant sequential data
Martin Nowack
2018-02-18
Added comment for getPointerWidth
Martin Nowack
2018-02-01
llvm50: use auto variable instead of SwitchInst::CaseIt
Jiri Slaby
2017-11-30
Implemented bounded merging functionality
Lukas Wölfer
2017-11-30
Added pause and continue functionality for states in Executor
Lukas Wölfer
2017-11-24
klee_make_symbolic: warn on deprecated usage
Frank Busse
2017-10-25
fixing huge allocation size constant to be unsigned
David Trabish
2017-10-17
[cmake] detect available metaSMT backends using a pre-defined flag and raise ...
Hoang M. Le
2017-10-17
add support for CVC4 and Yices2 via metaSMT
Hoang M. Le
2017-10-15
Fixed assert in BFSSearcher that does not hold as part of interleaved searcher
Julian Büning
2017-10-12
Removed unnecessary and redundant variable
Andrea Mattavelli
2017-10-09
Fixed initialization of distance to uncovered instructions when KLEE relies o...
Andrea Mattavelli
2017-10-06
Removed the word 'unsigned' from integer overflow error messages
Andrew Santosa
2017-10-04
Remove Autoconf/Makefile build system and adjust the TravisCI
Dan Liew
[prev]
[next]