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
/
tools
Age
Commit message (
Expand
)
Author
2013-12-21
klee-uclibc detection is now a lot cleaner. KLEE now assumes
Dan Liew
2013-12-21
The location of KLEE's runtime libraries (apart from klee-uclibc)
Dan Liew
2013-12-21
Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"
Dan Liew
2013-12-11
Merge pull request #31 from antiAgainst/chroot-replay
Cristian Cadar
2013-12-08
Add chroot jail support in klee-replay.
Lei Zhang
2013-12-06
Remove stoppoint references
Martin Nowack
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-12-05
Close file descriptors used for warnings and messages
Martin Nowack
2013-11-05
Exit if using --libc=uclibc and KLEE was not configured with uclibc
Dan Liew
2013-11-05
Refactored part of KleeHandler construction so that
Dan Liew
2013-11-05
sort and remove some includes
Frank Busse
2013-11-05
Fix arbitrary path limits and improved error handling (exit
Frank Busse
2013-10-29
Merge pull request #26 from delcypher/fix_divide_by_zero
Paul
2013-10-21
Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...
Hristina Palikareva
2013-10-11
MetaSMT builder, solver and command-line options.
Hristina Palikareva
2013-10-11
Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3
Cristian Cadar
2013-09-24
Add missing header file and linker parameter
Dominic Chen
2013-09-21
Merge pull request #17 from MartinNowack/LLVM33
Cristian Cadar
2013-09-02
Implemented runtime check for overshift (controllable with --check-overshift
Dan Liew
2013-08-29
Revert "Use new PathV2 interface for LLVM 2.9 and higher"
Martin Nowack
2013-08-29
Fix compiling issues with llvm 2.9
Martin Nowack
2013-08-29
Use new PathV2 interface for LLVM 2.9 and higher
Martin Nowack
2013-08-28
Fix constness warnings issued by gcc 4.7
Martin Nowack
2013-08-28
Silence warning of deprecated PathV1 usage
Martin Nowack
2013-08-27
Port to LLVM 3.3
Martin Nowack
2013-08-15
Merge pull request #16 from MartinNowack/DebugSymbols
Cristian Cadar
2013-08-15
Merge pull request #10 from MartinNowack/Typos
Cristian Cadar
2013-08-14
Handle additional debug intrinsics of LLVM
Martin Nowack
2013-08-14
Fix typo
Martin Nowack
2013-08-13
Modified ktest-tool so that it is compatible with python3.
Dan Liew
2013-08-06
TimingSolver and constructSolverChain() no longer coupled with pointers to ST...
Hristina Palikareva
2013-08-06
Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...
Hristina Palikareva
2013-08-06
Renaming solver-related command-line options in order to decouple them from S...
Hristina Palikareva
2013-03-11
Patch by Dan Liew which unifies the solver construction between KLEE
Cristian Cadar
2013-03-06
Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.
Cristian Cadar
2013-01-29
Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...
Cristian Cadar
2013-01-22
Patch by Hristina Palikareva which enables Kleaver to configure the
Cristian Cadar
2013-01-02
Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...
Cristian Cadar
2013-01-02
Patch by Tomasz Kuchta adding more detailed information on query failures.
Cristian Cadar
2013-01-02
Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...
Cristian Cadar
2012-11-27
Patch by Seungbeom Kim: "Interrupting KLEE's execution while a
Cristian Cadar
2012-10-24
Patch by Jonathan Neuschäfer: "update symbol list for
Cristian Cadar
2012-10-24
Code refactorings by Jonathan Neuschäfer: "move increment into for-loop
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Added support for generating .smt2 files when
Cristian Cadar
2012-10-24
Patch by Dan Liew: "Added -print-smtlib option to kleaver tool that
Cristian Cadar
2012-10-09
Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...
Cristian Cadar
2012-09-11
Changed the default to --max-memory and documented randomize-fork.
Cristian Cadar
2012-07-31
Patch by Dan Liew that removes our internal copy of STP, and makes the --with...
Cristian Cadar
2012-06-21
Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...
Cristian Cadar
2012-06-20
Fixed a minor issue related to an error path in --posix-runtime mode.
Cristian Cadar
[next]