| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-05 | Enabling assertions by default for KLEE. While the instructions for 2.9 ↵ | Cristian Cadar | |
| explicitely requir assertions to be enabled, in 3.4 we ask users to use LLVM packages, which are built in Release mode. This was prompted by issue #246, where the bug would have resulted in an easier-to-debug assert failure. | |||
| 2015-06-03 | Merge branch 'holycrap872-NoPreferCex' | Cristian Cadar | |
| 2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ↵ | Cristian Cadar | |
| preferences added in the POSIX model. Removed option --prefer-cex which controlled all CEX preferences. | |||
| 2015-05-31 | Make use of prefer-cex optional rather than default | Eric Rizzi | |
| Previously, default Klee would go through every byte in a test case and attempt to bound it to be between 0 and 127, making it human readable. While this may be useful when attempting to understand Klee, it also means that the time required to create large test suites was greatly increased. By making this behavior default off, unsuspecting users won't incur these additional costs. | |||
| 2015-04-25 | Rename macro | Dan Liew | |
| s/KLEE_INSTALL_LIB_DIR/KLEE_INSTALL_RUNTIME_DIR/ The new name is more accurrate. | |||
| 2015-04-25 | During install, install the klee intrinsic header file which is | Dan Liew | |
| intended for public use. | |||
| 2015-04-25 | Do not install gen-random-bout. | Dan Liew | |
| 2015-04-25 | Change install location of KLEE's bytecode runtime libraries | Dan Liew | |
| to ``${PREFIX}/lib/klee/runtime``. This addresses issue #233 | |||
| 2015-04-25 | Clean up the installation/building of the runtime libraries. | Dan Liew | |
| * We don't need to build the native versions so that is now disabled * We don't need to install (and hence build) the bytecode archive library versions of klee-libc or kleeRuntimeIntrinsic for new versions of LLVM right now (this is kind of messy). | |||
| 2015-04-25 | Report the git tag if exists in the output of --version from klee | Dan Liew | |
| and kleaver. | |||
| 2015-04-25 | Give KLEE release version information in the output of klee and kleaver | Dan Liew | |
| when they are given the --version command line option. Unfortunately to make the build type and git revision available we need to check this for every build which means KLEE's support library will be rebuilt for every build which will slow down incremental builds. This addresses issue #231 | |||
| 2015-04-25 | Remove some dead makefile variables left over from the old testing | Dan Liew | |
| system. | |||
| 2015-04-25 | Remove dead STP logging code. | Dan Liew | |
| 2015-04-25 | Make sure TravisCI tests at least one Debug+Asserts build. | Dan Liew | |
| 2015-04-25 | Remove boost requirements from TravisCI build. | Dan Liew | |
| 2015-04-19 | Fixed RewriteEqualities input to be more resilient to differences in ↵ | Cristian Cadar | |
| compilation. | |||
| 2015-04-19 | Temportily marking RewriteEqualities test as XFAIL. | Cristian Cadar | |
| 2015-04-19 | Added a new test case that checks the --rewrite-equalities optimisation. ↵ | Cristian Cadar | |
| The test contains the program proposed by Eric Rizzi in https://github.com/klee/klee/issues/227, and shows a case in which a constant constraint results after the optimisation. | |||
| 2015-04-18 | Merge pull request #213 from MartinNowack/klee-clang | Cristian Cadar | |
| Add klee-clang as alternative to klee-gcc | |||
| 2015-04-15 | Add clang-format style. We just use LLVM's style. | Dan Liew | |
| 2015-04-15 | Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift | Dan Liew | |
| always goes to zero (matches LLVM's APInt::ashr(...)). This is meant to partially address issue #218. There are a few problems with this commit * It is possible for AShrExpr to not be abbreviated because the scan methods will not see that we print the 0th child of the AShrExpr twice * The added test case should really be run through an SMT solver ( i.e. STP) but that requires infrastructure changes. | |||
| 2015-04-10 | The Docker image had python2 and python3 which is a waste of space | Dan Liew | |
| (I'm not sure where python3 came from. I didn't explicitly install it). Just ship python3. | |||
| 2015-04-10 | Don't upgrade pip or setuptools. Upgrading pip breaks the build because | Dan Liew | |
| /usr/local/bin/ isn't in PATH so using pip after upgrading it fails. | |||
| 2015-04-10 | Add missing slash in last commit. | Dan Liew | |
| 2015-04-10 | Update Dockerfile | David Leon Gil | |
| klee-stats requires tabulate to be installed. | |||
| 2015-04-09 | Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4). | Dan Liew | |
| This is is tightly coupled with the TravisCI scripts. There are some really nasty hacks in here that we should get rid of at some point. | |||
| 2015-04-09 | Try to fix using the compiler KLEE's configure script detected again! | Dan Liew | |
| My first attempt in b41cf33b6b726fd97e502c5c4818f5feeea0284b was wrong because setting the CC and CXX Makefile variables in Makefile.config.in did not work because LLVM's Makefile.config would override them. Also detecting the C compiler is unnecessary because we already do this (bitcode compiler detection) | |||
| 2015-04-09 | Normalised line endings | Cristian Cadar | |
| 2015-04-09 | Added .gitattribute file that takes care of line endings. | Cristian Cadar | |
| 2015-04-09 | Fix mistake if TravisCI scripts where configure flag for enabling POSIX | Dan Liew | |
| runtime was incorrect. | |||
| 2015-04-09 | Added a new option, --rewrite-equalities, which makes it possible to disable ↵ | Cristian Cadar | |
| the optimisation that rewrites existing constraints when an equality with a constant is added | |||
| 2015-04-09 | Switch to using STP's fork of minisat for TravisCI. It contains fixes | Dan Liew | |
| needed by Clang. | |||
| 2015-04-08 | Fix very annoying issue where KLEE's configure would completly | Dan Liew | |
| ignore the C++ compiler detected and just use the compiler detected during the LLVM configure. | |||
| 2015-04-03 | Upstream STP now depends on an external build of minisat. Attempt to | Dan Liew | |
| fix travis build of upstream STP and also how KLEE links against STP. | |||
| 2015-04-03 | Fixed issue introduce during a previous refactoring, related to field ordering. | Cristian Cadar | |
| 2015-04-02 | Use C instead of C++ comments in C files to silence compiler warnings. | Cristian Cadar | |
| 2015-04-02 | Silenced some compilation warnings. | Cristian Cadar | |
| 2015-04-02 | Merge pull request #209 from erakadjiev/timestamp_optimize | Cristian Cadar | |
| Cleaner, more efficient timestamps | |||
| 2015-04-02 | Revert "[include] Added documentation" to avoid a conflict with a pending ↵ | Cristian Cadar | |
| pull request. This reverts commit badffc570e1be6b675dcab7e21829bd029c46287. | |||
| 2015-04-02 | Fixed some doxygen issues. | Cristian Cadar | |
| 2015-04-02 | Removed unused fakeState field from ExecutionState | Cristian Cadar | |
| 2015-04-02 | Pass over the comments in ExecutionState.h | Cristian Cadar | |
| 2015-04-02 | Removed underConstrained field, which I believe was re-introduced by | Cristian Cadar | |
| mistake in the last cleanup commit. | |||
| 2015-04-02 | [Core] Documentation and cleanup | Martin Nowack | |
| * Removed unused member ShadowObjects in ExecutionState * Added documentation of members and reorder according to categories | |||
| 2015-04-01 | [include] Add missing functions in klee.h | Martin Nowack | |
| 2015-04-01 | [runtime] Fix include in klee_int | Martin Nowack | |
| 2015-04-01 | [test] Fix compilation warning | Martin Nowack | |
| Use correct definition and declaration of main function | |||
| 2015-04-01 | [Core] Fixed typo in assertion | Martin Nowack | |
| 2015-04-01 | [runtime] Fix comments to c style for c files and headers | Martin Nowack | |
| 2015-04-01 | [tests] Fix undefined function | Martin Nowack | |
| Add some missing header to silence compiler warnings | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |