about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2017-06-07llvm: rename ExitOnError to OptExitOnErrorJiri Slaby
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-03-23Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelliDan Liew
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-02-28convert iterators using static_castJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2017-01-16[CMake] Rename "integrationtests" to "systemtests".Dan Liew
2016-12-02Fixed the issue of klee-stats not being copied to bin/Cristian Cadar
2016-12-01Added among the external calls that we modelAndrea Mattavelli
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-11-18[CMake] Remove use of tabs in `CMakeLists.txt` files.Dan Liew
2016-11-18[CMake] Re-express LLVM and KLEE library dependencies asDan Liew
2016-11-17[cmake] Build with newer JIT (for LLVM >= 3.6)Adrian Herrera
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 14:34:55 +0000