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
2014-04-14
Tidy up code by using LLVM's V2 path API only and removing uses
Dan Liew
2014-04-14
Add missing include file for LLVM 3.4
Martin Nowack
2014-04-14
Use SmallString and llvm::sys::path/fs API of LLVM 3.4 because
Martin Nowack
2014-04-04
Add the ability to control whether the pretty printer uses line breaks
Peter Collingbourne
2014-04-02
Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...
Peter Collingbourne
2014-03-09
Use clang-format to reformat SMT-LIB printer in LLVM style.
Peter Collingbourne
2014-02-24
Improved help message for make-concrete-symbolic and fixed some typos.
Cristian Cadar
2014-02-14
Explicitly get the width of the "shift" expression rather than assuming
Dan Liew
2014-02-14
Remove STPBuilder::getShiftBits() which is no longer used.
Dan Liew
2014-02-14
Fixed overshift of arithmetic right shift by constant so that it
Dan Liew
2014-02-14
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
Dan Liew
2014-02-14
Fixed overshift of logical right shift by constant so that it
Dan Liew
2014-02-14
Fixed overshift of logical right shift by symbolic so that it overshifts
Dan Liew
2014-02-14
Fixed overshifting an expression by a constant so that we overshift to
Dan Liew
2014-02-14
Added a test case for testing overshift behaviour of Shl and fixed
Dan Liew
2014-02-14
Translate shl overshifts into 0
Paul Marinescu
2014-02-14
When running with -debug-only=klee_linker do not report the number
Dan Liew
2014-02-14
Refactor cleaning up memory in linkBCA() so that if linking fails
Dan Liew
2014-02-14
Refactor variable name s/RemovedSymbols/SymbolsToRemove/
Dan Liew
2014-02-14
Correct and tidy up comments.
Dan Liew
2014-02-06
Fix access of iterators after they have been invalidated
Martin Nowack
2014-02-06
When using KLEE's built-in Bitcode archive linker do not consider
Dan Liew
2014-02-06
Implement const_iterator interface for SpecialFunctionHandler so
Dan Liew
2014-02-06
Do not consider llvm intrinsics as undefined symbols in KLEE's
Dan Liew
2014-02-06
Improved archive (of bitcode modules) linking performance for
Dan Liew
2014-02-06
Add support for archive and single bc file linking
Martin Nowack
2014-01-17
Fix error message for failing linking of libraries
Martin Nowack
2014-01-17
Make KLEE fail in case main function is missing
Martin Nowack
2014-01-12
Merge pull request #68 from MartinNowack/feature_kleeInternalFunctions
Dan Liew
2013-12-21
Do not install KLEE's internal libraries.
Dan Liew
2013-12-19
Added a few comments to Executor::getLastNonKleeInternalInstruction()
Dan Liew
2013-12-19
When writing stack traces for bugs write the location in the assembly.ll
Dan Liew
2013-12-19
If error location information is missing be explicit about it. This
Dan Liew
2013-12-19
Only record debug info into InstructionInfoTable if debug information
Dan Liew
2013-12-19
Remove old algorithm for acquiring debug info. Since LLVM 2.7,
Dan Liew
2013-12-19
Optimize inlineChecks function
Martin Nowack
2013-12-19
Replicate debug information from checked instructions to checker call.
Martin Nowack
2013-12-19
Allow to specify KLEE-internal functions
Martin Nowack
2013-12-19
Simplify acquisition of debug informtion for instruction info with newer LLVM...
Martin Nowack
2013-12-06
Remove stoppoint references
Martin Nowack
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-12-05
Fix unitialized value
Martin Nowack
2013-12-05
Free used constants if not used anymore
Martin Nowack
2013-12-05
Fix timer leak
Martin Nowack
2013-11-13
Fix using assembler addresses for global variables
Martin Nowack
2013-10-29
Merge pull request #26 from delcypher/fix_divide_by_zero
Paul
2013-10-15
command-line option --use-metasmt declared and defined inside #ifdef SUPPORT_...
Hristina Palikareva
2013-10-11
getConstraintLog() of MetaSMTSolver explicitly states that this feature is no...
Hristina Palikareva
2013-10-11
Bug fix in MetaSMTBuilder
Hristina Palikareva
2013-10-11
MetaSMT builder, solver and command-line options.
Hristina Palikareva
[prev]
[next]