about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2016-09-29Fixed the description of -posix-runtime optionAndrew Santosa
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2016-09-15Check the existence of the entry point during the initialization of the POSIX...Andrea Mattavelli
2016-08-08Use LLVM-based functions to print errnoAndrea Mattavelli
2016-07-08Support gzip-based compression of raw_outstreamsMartin Nowack
2016-06-24Merge pull request #394 from andreamattavelli/refactoring_runindirCristian Cadar
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-05-24Added string for -run-in directory errorsAndrea Mattavelli
2016-05-20Allow relocation of installed klee treeDamir Shaykhutdinov
2016-04-11Small refactoring to improve the consistency of info file handlingAndrea Mattavelli
2016-04-08Rename KLEE command line options fromDan Liew
2016-04-08Remove dead function declarationDan Liew
2016-02-29Merge pull request #344 from MartinNowack/feat_mallocMartinNowack
2016-02-27Merge pull request #345 from mdimjasevic/masterMartinNowack
2016-02-27Add support for tcmallocMartin Nowack
2016-02-25Added support to load libraries from command lineOmer Anson
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 04:44:48 +0000