| Age | Commit message (Expand) | Author |
|---|
| 2018-05-17 | Add support for concretizing symbolic objects passed to external functions | Timotej Kapus |
| 2018-02-18 | Make print function of ObjectState public and const | Martin Nowack |
| 2017-08-27 | Remove unnecessary null pointer checks | Oscar Deits |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
| 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-04-01 | [Core] Fixed typo in assertion | Martin Nowack |
| 2015-02-27 | Improved some comments and fixed some formatting issues in the Array factory ... | Cristian Cadar |
| 2015-02-22 | Added factory method for Arrays + hid constructors from outside calls | Eric Rizzi |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-06 | ObjectState::concreteStore initialised. | Hristina Palikareva |
| 2012-01-18 | Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory | Cristian Cadar |
| 2011-11-29 | Updates for LLVM 3.1. | Peter Collingbourne |
| 2011-11-04 | Patch by Tom Bergan that fixes multi-byte reads on big-endian architectures. | Cristian Cadar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-07-28 | KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. I | Daniel Dunbar |
| 2009-07-28 | Move Machine constants into Context object, initialized based on the target | Daniel Dunbar |
| 2009-07-25 | (llvm up) Update for llvm::Value getName() change. | Daniel Dunbar |
| 2009-06-26 | Simplify read/write code. | Daniel Dunbar |
| 2009-06-14 | Kill off ExtractExpr::createByteOff. | Daniel Dunbar |
| 2009-06-14 | More ConstantExpr tweaks. | Daniel Dunbar |
| 2009-06-14 | Add ConstantExpr::{getLimitedValue,getZExtValue}. | Daniel Dunbar |
| 2009-06-14 | Add constant folding operations to ConstantExpr. | Daniel Dunbar |
| 2009-06-13 | Switch to using constant arrays for non-symbolic objects. | Daniel Dunbar |
| 2009-06-13 | Create new ObjectState constructor for explicitly creating symbolic objects. | Daniel Dunbar |
| 2009-06-10 | Move Array construction out of MemoryObject into ObjectState. | Daniel Dunbar |
| 2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
| 2009-06-05 | Clean up a number of unused variable warnings when building w/o | Daniel Dunbar |
| 2009-06-04 | Finish removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Start removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Move isConstant from ref<> to Expr:: | Daniel Dunbar |
| 2009-06-03 | Kill off specialized ref<> forwarding methods, in the interest of making it a | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
