| Age | Commit message (Expand) | Author |
|---|
| 2015-04-09 | Add initial Dockerfile for building a KLEE Docker image (uses LLVM3.4). | Dan Liew |
| 2015-04-09 | Try to fix using the compiler KLEE's configure script detected again! | Dan Liew |
| 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 |
| 2015-04-09 | Added a new option, --rewrite-equalities, which makes it possible to disable ... | Cristian Cadar |
| 2015-04-09 | Switch to using STP's fork of minisat for TravisCI. It contains fixes | Dan Liew |
| 2015-04-08 | Fix very annoying issue where KLEE's configure would completly | Dan Liew |
| 2015-04-03 | Upstream STP now depends on an external build of minisat. Attempt to | Dan Liew |
| 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 |
| 2015-04-02 | Revert "[include] Added documentation" to avoid a conflict with a pending pul... | Cristian Cadar |
| 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 |
| 2015-04-02 | [Core] Documentation and cleanup | Martin Nowack |
| 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 |
| 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 |
| 2015-04-01 | [tools] Added fortified version wrapper for fprintf | Martin Nowack |
| 2015-04-01 | [include] Added documentation | Martin Nowack |
| 2015-04-01 | [include] Removed unused variable | Martin Nowack |
| 2015-03-22 | Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ... | Cristian Cadar |
| 2015-03-20 | Improve arithmetic-right-overshift-sym-conc.c test by make sure it | Dan Liew |
| 2015-03-20 | [Solver] Fix leak intermediate expression not freed | Martin Nowack |
| 2015-03-20 | [Core] Fix memory leak in assembler raising | Martin Nowack |
| 2015-03-13 | Timestamp improvements. | Emil Rakadjiev |
| 2015-03-12 | Merge pull request #212 from MartinNowack/killing_states_warning | Cristian Cadar |
| 2015-03-12 | [Core] Always warn if states get deleted due to memory limits | Martin Nowack |
| 2015-03-03 | Consistent capitalization of "KLEE" | Cristian Cadar |
| 2015-03-03 | Slight updates in license file, acknowledging more recent contributions. | Cristian Cadar |
| 2015-03-02 | New regression test checking that the Array factory correctly distinguishes b... | Cristian Cadar |
| 2015-03-02 | Merge branch 'holycrap872-ArrayFactory' | Cristian Cadar |
| 2015-02-27 | Improved some comments and fixed some formatting issues in the Array factory ... | Cristian Cadar |
| 2015-02-27 | Merge branch 'ArrayFactory' of https://github.com/holycrap872/klee into holyc... | Cristian Cadar |
| 2015-02-22 | Added factory method for Arrays + hid constructors from outside calls | Eric Rizzi |
| 2015-02-19 | Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function rather | Dan Liew |
| 2015-02-13 | Fixed and refactored overflow test cases. | Cristian Cadar |
| 2015-02-13 | refactor integer overflow detection, add signed int | Luca Dariz |
| 2015-02-13 | Fix overflow detection in unsigned multiplication | Luca Dariz |
| 2015-02-13 | add tests for unsigned integer overflow | Luca Dariz |
| 2015-02-13 | Detect overflow of unsigned add, sub and mul operations | Luca Dariz |
| 2015-02-13 | Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub" | Cristian Cadar |
| 2015-02-10 | Merged @luckyluke's change for detecting overflow of unsigned add, sub | Cristian Cadar |
