| Age | Commit message (Expand) | Author |
|---|
| 2016-07-08 | Generate forked states for switch instructions deterministically | Martin Nowack |
| 2016-07-08 | Use vector instead of set to add/remove states | Martin Nowack |
| 2016-07-08 | IterativeDeepeningTimeSearcher: Fix using wrong iterator | Martin Nowack |
| 2016-07-08 | Refactoring: Extract method to dump remaining states | Martin Nowack |
| 2016-07-08 | Merge pull request #391 from MartinNowack/feat_zipstream_compress | MartinNowack |
| 2016-07-08 | Support gzip-based compression of raw_outstreams | Martin Nowack |
| 2016-07-08 | Add feature to dump statistics after n instructions | Martin Nowack |
| 2016-06-23 | Use klee_message for timeout information | Andrea Mattavelli |
| 2016-05-18 | Modified -debug-print-instructions to allow to write directly on log file. | Andrea Mattavelli |
| 2016-04-08 | Remove computation of ``isLocal`` that is always true when handling | Dan Liew |
| 2016-04-08 | Rename KLEE command line options from | Dan Liew |
| 2016-03-01 | Documented default values for various options and improved the description of... | Cristian Cadar |
| 2016-02-27 | Use klee-provided GetMallocUsage for consistency | Martin Nowack |
| 2016-02-27 | Refactoring: Extract checking memory limit into own function | Martin Nowack |
| 2016-01-12 | Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing | Dan Liew |
| 2015-12-18 | Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h | Dan Liew |
| 2015-12-18 | Fix memory leaks of ``Array`` objects detected by ASan. | Dan Liew |
| 2015-12-17 | Clean up the check in the previous commit by using one of KLEE's | Dan Liew |
| 2015-12-17 | Fixed a bug with how non power 2 values were written to memory, added test fo... | Timotej Kapus |
| 2015-12-17 | Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support... | Martin Nowack |
| 2015-12-11 | Reword help description for ``--silent-klee-assume`` command line | Dan Liew |
| 2015-12-11 | Add command line flag ``--silent-klee-assume``to suppress errors due to | Valentin Wüstholz |
| 2015-06-03 | Added an option --readable-posix-inputs which is used to turn on/off the CEX ... | Cristian Cadar |
| 2015-05-31 | Make use of prefer-cex optional rather than default | Eric Rizzi |
| 2015-04-25 | Give KLEE release version information in the output of klee and kleaver | Dan Liew |
| 2015-04-03 | Fixed issue introduce during a previous refactoring, related to field ordering. | 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 | Removed unused fakeState field from ExecutionState | 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 | [Core] Fixed typo in assertion | Martin Nowack |
| 2015-03-13 | Timestamp improvements. | Emil Rakadjiev |
| 2015-03-12 | [Core] Always warn if states get deleted due to memory limits | Martin Nowack |
| 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-13 | refactor integer overflow detection, add signed int | 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 |
| 2014-12-19 | Merge pull request #168 from willemp/fix-va-args-passing-for-big-types | Cristian Cadar |
| 2014-12-02 | Implement :named and let abbreviation modes in ExprSMTLIBPrinter | Raimondas Sasnauskas |
| 2014-10-09 | Fixed passing of long double (and other big types) in var_args on x86_64. Rem... | Willem |
| 2014-09-19 | Removed code related to underConstrained, as it is unused (issue pointed out ... | Cristian Cadar |
| 2014-09-15 | Taught klee_warning(), klee_error() etc... to emit coloured text output. | Dan Liew |
| 2014-09-14 | [LLVM3.5] Ensure Twine definition is available from Executor.h. | Daniel Dunbar |
| 2014-09-14 | Fix LLVM3.5 compilation due to switching to std::error_code | Dan Liew |
| 2014-09-14 | [LLVM3.5] Update for move of CFG.h into IR. | Daniel Dunbar |
| 2014-09-14 | [LLVM3.5] Update for CallSite.h move into IR/. | Daniel Dunbar |
