| Age | Commit message (Expand) | Author |
|---|
| 2015-04-09 | Added a new option, --rewrite-equalities, which makes it possible to disable ... | Cristian Cadar |
| 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-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 | [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-19 | Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function rather | Dan Liew |
| 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 | 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-13 | Add a few line breaks to make the code more readable in | Dan Liew |
| 2014-12-13 | Clean up some ExprSMTLIBPrinter code by using llvm_unreachable | Dan Liew |
| 2014-12-13 | Clean up a few comments in ExprSMTLIBPrinter | Dan Liew |
| 2014-12-12 | Print nested let-abbreviations in ExprSMTLIBPrinter | Raimondas Sasnauskas |
| 2014-12-09 | Merge pull request #186 from paulmar/fixshift | Cristian Cadar |
| 2014-12-08 | Fix overshift check | Paul Marinescu |
| 2014-12-03 | Handling overshift behaviour in MetaSMTBuilder | Hristina Palikareva |
| 2014-12-02 | Fix typo | Dan Liew |
| 2014-12-02 | Add a comment explaining why the query expr is being negated. | Dan Liew |
| 2014-12-02 | The printing of constraints and the QueryExpr have been merged into a | Dan Liew |
| 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-16 | Fix compilation error due to r199218. Maybe we should just remove this | Dan Liew |
| 2014-09-15 | Taught klee_warning(), klee_error() etc... to emit coloured text output. | Dan Liew |
| 2014-09-15 | Removed inlineChecks() function which was just dead code. | Dan Liew |
| 2014-09-14 | [LLVM3.5] Ensure Twine definition is available from Executor.h. | Daniel Dunbar |
| 2014-09-14 | Fix LLVM3.5 compilation. This is due to r202168 | Dan Liew |
| 2014-09-14 | [LLVM3.5] Drop use of PassNameParser, which we don't even use anymore. | 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 more random headers moving around. | Daniel Dunbar |
| 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 |
| 2014-09-14 | Fix compilation error due to change in raw_fd_ostream for LLVM3.5 | Dan Liew |
| 2014-09-14 | [LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE. | Daniel Dunbar |
| 2014-09-14 | [Core] Fix a bug in how source file names were written in .istats files. | Daniel Dunbar |
| 2014-09-14 | [Module] Try harder to associate each instruction with source level debug info. | Daniel Dunbar |
| 2014-09-14 | [Core] Remove support for "--use-asm-addresses". | Daniel Dunbar |
