| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-10-04 | [CMake] Add `clean_doxygen` rule to clean up doxygen build tree and | Dan Liew | |
| add this as a dependency of `clean_all`. | |||
| 2017-10-04 | [CMake] Add global clean target `clean_all`. Fixes #718. | Dan Liew | |
| This target invokes the `clean` target but is also intended for use by other cleaning targets. The `clean_runtime` target is now declared as a dependency of `clean-all` so that the runtime is cleaned as well. | |||
| 2017-10-04 | [CMake] Fix bug when doing non-assert builds. | Dan Liew | |
| It seems we need to pass `-D` to CMake explicitly. | |||
| 2017-10-04 | Fix TravisCI `METASMT_DEFAULT` setting. | Dan Liew | |
| 2017-10-04 | Remove Autoconf/Makefile build system and adjust the TravisCI | Dan Liew | |
| configuration, TravisCI scripts and Dockerfile build appropriately. There are a bunch of clean ups this enables but this commit doesn't attempt them. We can do that in future commits. | |||
| 2017-10-04 | Merge pull request #761 from ccadar/misc | Cristian Cadar | |
| Silenced some warnings about unused variables when assertions are dis… | |||
| 2017-10-04 | Merge branch 'master' into misc | Cristian Cadar | |
| 2017-10-03 | Merge pull request #760 from delcypher/cmake_fixes | Andrea Mattavelli | |
| A few minor CMake fixes/tweaks | |||
| 2017-10-03 | Silenced some warnings about unused variables when assertions are disabled. | Cristian Cadar | |
| 2017-10-03 | [CMake] Report the value of some important variables during configure | Dan Liew | |
| to aid debugging. | |||
| 2017-10-03 | [CMake] Fix initialisation order of `KLEE_COMPONENT_*` and | Dan Liew | |
| `KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten. | |||
| 2017-09-29 | Removed dead link, fixes #754 | Cristian Cadar | |
| 2017-09-22 | Merge pull request #748 from ccadar/options | Cristian Cadar | |
| Added support for hiding command-line options | |||
| 2017-09-14 | Merge pull request #749 from odeits/issue/717 | Andrea Mattavelli | |
| Remove unnecessary null pointer checks | |||
| 2017-08-27 | Remove unnecessary null pointer checks | Oscar Deits | |
| Fixes klee/klee#717 delete on null pointer is always safe. | |||
| 2017-08-11 | Removed "llvm::" and reformatting in CmdLineOptions.cpp | Cristian Cadar | |
| 2017-08-11 | Added support for hiding command-line options | Cristian Cadar | |
| 2017-08-11 | Merge pull request #746 from ccadar/posix | Cristian Cadar | |
| Fixed a bug causing KLEE to generate files with no permission bits, and added a basic test for klee-replay | |||
| 2017-08-10 | Added a basic test for klee-replay | Cristian Cadar | |
| 2017-08-09 | Fixed a bug causing KLEE to generate files with no permissions bits set. ↵ | Cristian Cadar | |
| This was introduced when we added the --readable-posix-inputs option. | |||
| 2017-08-09 | Merge pull request #745 from ccadar/misc | Andrea Mattavelli | |
| Fixed a compiler warning (unused variable) | |||
| 2017-08-09 | Fixed a compiler warning (unused variable) | Cristian Cadar | |
| 2017-08-09 | Merge pull request #742 from ccadar/fold | Cristian Cadar | |
| Added checks for div/mod by zero and overshifts in constant expressio… | |||
| 2017-08-07 | Untabify this file, which was using a mix of spaces and tabs for alignment. | Cristian Cadar | |
| 2017-08-07 | Added checks for div/mod by zero and overshifts in constant expressions. ↵ | Cristian Cadar | |
| Such div/mod by zero expressions would previously crash KLEE. Added two test cases, one for div/mod by zero, the other for overshift. This fixes the bug reported in #268. | |||
| 2017-08-04 | Removed merging searchers | Lukas Wölfer | |
| 2017-08-01 | Fixed test case counter: Previously the number of test cases generated by ↵ | Andrea Mattavelli | |
| KLEE was always incremented, even if a symbolic solution was not found. | |||
| 2017-07-31 | Fix build for FreeBSD. | Tatiana Tikhomirova | |
| On FreeBSD <sys/capabilities.h> is present in libc, so we don't require libcap there. Close and write functions are located in <unistd.h>. | |||
| 2017-07-29 | Added an optional KInstruction* argument to evalConstant and ↵ | Cristian Cadar | |
| evalConstantExpr which allows us to print the location associated with the constant in any error messages. Added a test case for the unsupported features for taking the address of a label, which exercises the patch. | |||
| 2017-07-29 | Added another variant of printFileLine in KInstruction that returns the ↵ | Cristian Cadar | |
| location as a string. Also added const qualifier to the printFileLine functions | |||
| 2017-07-28 | Merge pull request #728 from delcypher/cmake_change_default | Andrea Mattavelli | |
| [CMake] Change some defaults | |||
| 2017-07-28 | Merge pull request #735 from andreamattavelli/fixes_travis_0717 | MartinNowack | |
| [TravisCI] Some fixes for STP scripts | |||
| 2017-07-28 | Fixed script for STP in Travis-CI: Build now exits on errors | Andrea Mattavelli | |
| 2017-07-28 | Modified Travis-CI script to compile STP with BOOST support | Andrea Mattavelli | |
| 2017-07-28 | [TravisCI] Make sure when building with CMake that only the solvers | Dan Liew | |
| requested get used. | |||
| 2017-07-28 | [CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set | Dan Liew | |
| dynamically based on whether MetaSMT is available. Previously the default was always off. | |||
| 2017-07-28 | [CMake] Add `ENABLE_ZLIB` option to control whether KLEE uses | Dan Liew | |
| zlib. The default is `ON` if zlib is found on first configure and `OFF` if zlib is not found on first configure. | |||
| 2017-07-28 | [CMake] Refactor Z3 detection and change the default value of | Dan Liew | |
| `ENABLE_SOLVER_Z3` to be set dynamically based on whether Z3 is available. Previously the default was always off. | |||
| 2017-07-28 | [CMake] Refactor STP detection and change the default value of | Dan Liew | |
| `ENABLE_SOLVER_STP` to be set dynamically based on whether STP is available. Previously the default was always off. | |||
| 2017-07-27 | Merge pull request #734 from ccadar/misc | Cristian Cadar | |
| Now that LLVM 2.9 is gone, we can use cl::bits when needed | |||
| 2017-07-26 | Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list | Cristian Cadar | |
| 2017-07-26 | Merge pull request #733 from ccadar/misc | Andrea Mattavelli | |
| This reverts incorrect patch https://github.com/klee/klee/commit/db29… | |||
| 2017-07-26 | This reverts incorrect patch ↵ | Cristian Cadar | |
| https://github.com/klee/klee/commit/db29a0bba74b672cdf4b8fef4d94ffa6ab845e6d __fprintf_chk has a different prototype than fprintf | |||
| 2017-07-25 | Added regression test for bug reported by @kren1 in #262 | Cristian Cadar | |
| 2017-07-25 | Merge pull request #726 from delcypher/cmake_fix_llvm_built_with_no_asserts | MartinNowack | |
| [CMake] Handle building against LLVM built without assertions | |||
| 2017-07-25 | Cleanup tests for last LLVM 2.9 references | Andrea Mattavelli | |
| 2017-07-25 | [CMake] Emit warning when mixing assert and non assert builds. | Dan Liew | |
| This could lead to lots of problems. If we discover that these configurations don't work at all we should make this an error. | |||
| 2017-07-25 | Merge pull request #725 from ccadar/fold | Cristian Cadar | |
| Refactored some code related to constant evaluation | |||
| 2017-07-25 | [CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` define | Dan Liew | |
| when LLVM was built without assertions. This prevented `ENABLE_KLEE_ASSERTS` from working correctly. Reported by @MartinNowack . | |||
| 2017-07-25 | Merge pull request #724 from delcypher/floating_point_ops_clean_up | Andrea Mattavelli | |
| Re-enable parts of `FloatingPointOps.ll` | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |