Age | Commit message (Expand) | Author |
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 |
2014-09-13 | [Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by F... | Daniel Dunbar |
2014-09-13 | [Solver] Tune down the shared memory region size on Darwin. | Daniel Dunbar |
2014-09-13 | [Solver] Ensure shared memory allocation failures are reported as errors, not... | Daniel Dunbar |
2014-09-13 | Small edits to test the Travis CI trigger. | Cristian Cadar |
2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
2014-09-12 | [Core] Fix some warnings in -Asserts builds. | Daniel Dunbar |
2014-09-12 | [Module] Fix handling of instructions without debug info. | Daniel Dunbar |
2014-09-12 | When building against libc++ (vs libstdcxx), use standard unordered_{map,set}... | Daniel Dunbar |
2014-09-12 | Tweak the workarounds for multiple definition of PACKAGE_* macros from config... | Daniel Dunbar |
2014-09-12 | Add support for getting memory usage on Darwin. | Daniel Dunbar |