about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2017-10-17add support for CVC4 and Yices2 via metaSMTHoang M. Le
2017-10-15Fixed assert in BFSSearcher that does not hold as part of interleaved searcherJulian Büning
2017-10-12Removed unnecessary and redundant variableAndrea Mattavelli
2017-10-09Fixed initialization of distance to uncovered instructions when KLEE relies o...Andrea Mattavelli
2017-10-06Silenced warnings on comparison of integers of different signs in TreeStreamTestAndrea Mattavelli
2017-10-06Removed the word 'unsigned' from integer overflow error messagesAndrew Santosa
2017-10-05enforce c++11Jörg Thalheim
2017-10-05Merge pull request #757 from delcypher/cmake_clean_allAndrea Mattavelli
2017-10-04[CMake] Add `clean_doxygen` rule to clean up doxygen build tree andDan Liew
2017-10-04[CMake] Add global clean target `clean_all`. Fixes #718.Dan Liew
2017-10-04[CMake] Fix bug when doing non-assert builds.Dan Liew
2017-10-04Fix TravisCI `METASMT_DEFAULT` setting.Dan Liew
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-10-04Merge pull request #761 from ccadar/miscCristian Cadar
2017-10-04Merge branch 'master' into miscCristian Cadar
2017-10-03Merge pull request #760 from delcypher/cmake_fixesAndrea Mattavelli
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-10-03[CMake] Report the value of some important variables during configureDan Liew
2017-10-03[CMake] Fix initialisation order of `KLEE_COMPONENT_*` andDan Liew
2017-09-29Removed dead link, fixes #754Cristian Cadar
2017-09-22Merge pull request #748 from ccadar/optionsCristian Cadar
2017-09-14Merge pull request #749 from odeits/issue/717Andrea Mattavelli
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-11Removed "llvm::" and reformatting in CmdLineOptions.cppCristian Cadar
2017-08-11Added support for hiding command-line optionsCristian Cadar
2017-08-11Merge pull request #746 from ccadar/posixCristian Cadar
2017-08-10Added a basic test for klee-replayCristian Cadar
2017-08-09Fixed a bug causing KLEE to generate files with no permissions bits set. Th...Cristian Cadar
2017-08-09Merge pull request #745 from ccadar/miscAndrea Mattavelli
2017-08-09Fixed a compiler warning (unused variable)Cristian Cadar
2017-08-09Merge pull request #742 from ccadar/foldCristian Cadar
2017-08-07Untabify this file, which was using a mix of spaces and tabs for alignment.Cristian Cadar
2017-08-07Added checks for div/mod by zero and overshifts in constant expressions. Suc...Cristian Cadar
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-31Fix build for FreeBSD.Tatiana Tikhomirova
2017-07-29Added an optional KInstruction* argument to evalConstant and evalConstantExpr...Cristian Cadar
2017-07-29Added another variant of printFileLine in KInstruction that returns the locat...Cristian Cadar
2017-07-28Merge pull request #728 from delcypher/cmake_change_defaultAndrea Mattavelli
2017-07-28Merge pull request #735 from andreamattavelli/fixes_travis_0717MartinNowack
2017-07-28Fixed script for STP in Travis-CI: Build now exits on errorsAndrea Mattavelli
2017-07-28Modified Travis-CI script to compile STP with BOOST supportAndrea Mattavelli
2017-07-28[TravisCI] Make sure when building with CMake that only the solversDan Liew
2017-07-28[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be setDan Liew
2017-07-28[CMake] Add `ENABLE_ZLIB` option to control whether KLEE usesDan Liew
2017-07-28[CMake] Refactor Z3 detection and change the default value ofDan Liew
2017-07-28[CMake] Refactor STP detection and change the default value ofDan Liew
2017-07-27Merge pull request #734 from ccadar/miscCristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-07-26Merge pull request #733 from ccadar/miscAndrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 09:14:08 +0000