about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2013-08-15Merge pull request #16 from MartinNowack/DebugSymbolsCristian Cadar
2013-08-15Merge pull request #10 from MartinNowack/TyposCristian Cadar
2013-08-14Handle additional debug intrinsics of LLVMMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-13Modified ktest-tool so that it is compatible with python3.Dan Liew
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ST...Hristina Palikareva
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-03-11Patch by Dan Liew which unifies the solver construction between KLEECristian Cadar
2013-03-06Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.Cristian Cadar
2013-01-29Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...Cristian Cadar
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2012-11-27Patch by Seungbeom Kim: "Interrupting KLEE's execution while aCristian Cadar
2012-10-24Patch by Jonathan Neuschäfer: "update symbol list forCristian Cadar
2012-10-24Code refactorings by Jonathan Neuschäfer: "move increment into for-loopCristian Cadar
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
2012-10-24Patch by Dan Liew: "Added -print-smtlib option to kleaver tool thatCristian Cadar
2012-10-09Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...Cristian Cadar
2012-09-11Changed the default to --max-memory and documented randomize-fork.Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-06-21Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...Cristian Cadar
2012-06-20Fixed a minor issue related to an error path in --posix-runtime mode.Cristian Cadar
2012-06-19Patch by Seungbeom Kim for compatibility with old LLVM 2.6.Cristian Cadar
2012-04-05Removed unnecessary --init-env option.Cristian Cadar
2012-01-25Patch from Ben Gras which "makes Klee look for the libraries in theCristian Cadar
2011-12-16Fixed help message in klee-stats.Cristian Cadar
2011-12-11Patch by Ben Gras for MINIX: no stat64 under MINIX.Cristian Cadar
2011-12-11Patch by Ben Gras fixing a few minor issues: adds missing includes,Cristian Cadar
2011-09-02Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+Peter Collingbourne
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-06-09Patch from arrowdodger for fixing FreeBSD build..Cristian Cadar
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-10-01Fix a build warning, patch by nobled!Daniel Dunbar
2010-08-05Call klee_error instead of klee_warning when we fail to open a file,Cristian Cadar
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-28Fixed bug reported at:Cristian Cadar
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2010-05-02Unbreak inline asm warning.Daniel Dunbar
2010-04-19ktest-tool: Add --write-ints option, for printing 4-byte objects as integers.Daniel Dunbar
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2010-03-14Kill off ExecutionTrace stuff, it is too messy.Daniel Dunbar
2009-10-25Update source to build against LLVM 2.6Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 21:21:11 +0000