about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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
2017-07-26This reverts incorrect patch https://github.com/klee/klee/commit/db29a0bba74b...Cristian Cadar
2017-07-25Added regression test for bug reported by @kren1 in #262Cristian Cadar
2017-07-25Merge pull request #726 from delcypher/cmake_fix_llvm_built_with_no_assertsMartinNowack
2017-07-25Cleanup tests for last LLVM 2.9 referencesAndrea Mattavelli
2017-07-25[CMake] Emit warning when mixing assert and non assert builds.Dan Liew
2017-07-25Merge pull request #725 from ccadar/foldCristian Cadar
2017-07-25[CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` defineDan Liew
2017-07-25Merge pull request #724 from delcypher/floating_point_ops_clean_upAndrea Mattavelli
2017-07-25This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...Cristian Cadar
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
2017-07-25Re-enable parts of `FloatingPointOps.ll`. The message about failuresDan Liew
2017-07-24Moved klee_choose from klee-libc to KLEE intrinsics.Cristian Cadar
2017-07-24more portable shebangsJörg Thalheim
2017-07-24llvm: get rid of static_casts from iterators (take 2)Jörg Thalheim
2017-07-24Merge pull request #721 from delcypher/cmake_runtime_dependency_fixesAndrea Mattavelli
2017-07-24Merge pull request #713 from MartinNowack/remove_llvm_29_33Andrea Mattavelli
2017-07-24[CMake] Add a sanity check to the runtime build system so that weDan Liew
2017-07-24[CMake] Fix bug where the runtime build system would not rebuild bitcodeDan Liew
2017-07-23Remove LLVM 2.9 from MakefilesMartin Nowack
2017-07-23Remove klee-gccMartin Nowack
2017-07-23Cleanup Travis builderMartin Nowack
2017-07-23Updated test cases to reflect removal of LLVM 2.9Martin Nowack
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-21Release notes for 1.4.0 v1.4.0 1.4.xCristian Cadar
2017-07-20Switching version to 1.4.0Cristian Cadar
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-20Merge pull request #673 from jirislaby/llvm40_WallTimerMartinNowack
2017-07-20Core: TimingSolver, use TimerStatIncrementerJiri Slaby
2017-07-20Merge pull request #704 from ccadar/TreeStreamAndrea Mattavelli
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 10:02:16 +0000