about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-04Removed merging searchersLukas Wölfer
2017-08-01Fixed test case counter: Previously the number of test cases generated by KLE...Andrea Mattavelli
2017-07-26This reverts incorrect patch https://github.com/klee/klee/commit/db29a0bba74b...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16move module loading into external functionJörg Thalheim
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:29:44 +0000