about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2016-02-14Add basic implementation of Z3Builder and Z3Solver and Z3SolverImplDan Liew
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-02-08Fixed two spelling errors.Marko Dimjašević
2016-01-14Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Fix linking with stp via MetaSMT when not building with direct STPDan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-08-14tools/klee: pass the entry function name as argumentRiccardo Schirone
2015-08-14tools/klee/main: remove whitespacesRiccardo Schirone
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-04-25Rename macroDan Liew
2015-04-25Do not install gen-random-bout.Dan Liew
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
2015-04-25Remove dead STP logging code.Dan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2015-04-02Silenced some compilation warnings.Cristian Cadar
2015-04-01[tools] Added fortified version wrapper for fprintfMartin Nowack
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2014-12-18Merge pull request #178 from mchalupa/masterCristian Cadar
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-01klee: let user override path to runtime libraryMarek Chalupa
2014-11-13tools: prepend DESTDIR when installingJiri Slaby
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-09-25Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), no...Cristian Cadar
2014-09-17Fix segfault under LLVM3.5 . I forgot to release ownership of theDan Liew
2014-09-17Fix more LLVM3.5 compilation issues.Dan Liew
2014-09-17Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary.Dan Liew
2014-09-17Another LLVM3.5 compilation fix.Dan Liew
2014-09-16[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.Daniel Dunbar
2014-09-16Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.Dan Liew
2014-09-16Fix LLVM3.5 compilation a little more. ``Support/system_error.h``Dan Liew
2014-09-15Merge pull request #158 from delcypher/remove_response_filesCristian Cadar
2014-09-15Taught klee_warning(), klee_error() etc... to emit coloured text output.Dan Liew
2014-09-15Remove --read-args command line option because this feature has beenDan Liew
2014-09-14Remove dependence on the bc tool. Use python instead because we areDan Liew
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12Tweak the workarounds for multiple definition of PACKAGE_* macros from config...Daniel Dunbar
2014-09-12Do not require <sys/capability.h>, which is Linux specific.Daniel Dunbar
2014-07-21Merge pull request #113 from antiAgainst/klee-statsCristian Cadar
2014-07-18Refactor klee-stats and add simple line chart drawing functionality.Lei Zhang
2014-07-09Fix to avoid warning message taking address of mainMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-23Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefin...Hristina Palikareva
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 00:15:21 +0000