| Age | Commit message (Expand) | Author |
|---|
| 2018-06-29 | Fix the final -Wimplicit-fallthrough warning | Daniel Schemmel |
| 2016-05-24 | Fixed bug #375 in Kleaver's parser | Andrea Mattavelli |
| 2015-12-18 | Fix a leak detected by ASan in the KQuery parser where on destruction of | Dan Liew |
| 2015-12-18 | Fix memory leaks of ``Array`` objects detected by ASan. | Dan Liew |
| 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-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
| 2011-10-17 | Fix some -Wunused-variable warnings. | Daniel Dunbar |
| 2011-07-20 | Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of | Peter Collingbourne |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2009-09-05 | Applied patch submitted by Pongsin Poosankam that fixes a bug in the | Cristian Cadar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-07-11 | Removed the Nz macro. | Cristian Cadar |
| 2009-07-10 | Added support for bitwise not. Replacing "false == " with Not in | Cristian Cadar |
| 2009-07-10 | Replaced createNot() by createIsZero() and "Not" macro by "Nz". | Cristian Cadar |
| 2009-06-26 | More large integer support. | Daniel Dunbar |
| 2009-06-14 | The expansion for Read{MSB,LSB} needs to continue to use the folding methods, | Daniel Dunbar |
| 2009-06-14 | Use ExprBuilder for constructing expressions in the Parser. | Daniel Dunbar |
| 2009-06-14 | Add ConstantExpr::{getLimitedValue,getZExtValue}. | Daniel Dunbar |
| 2009-06-09 | More constant Array support. | Daniel Dunbar |
| 2009-06-09 | Remove Array::object. | Daniel Dunbar |
| 2009-06-09 | Remove Array::id. | Daniel Dunbar |
| 2009-06-09 | Switch Array* print-outs to use name instead of ID, and update a few | Daniel Dunbar |
| 2009-06-09 | Add Array::name field, initialized but not used for anything yet. | Daniel Dunbar |
| 2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
| 2009-06-08 | Fix a mistake in previous commit to turn asserts -> parse errors. | Daniel Dunbar |
| 2009-06-07 | Diagnose some more syntax errors instead of crashing. | Daniel Dunbar |
| 2009-06-07 | Implement array declarations. | Daniel Dunbar |
| 2009-06-07 | Make sure to make up a valid VersionResult on failures. | Daniel Dunbar |
| 2009-06-07 | Eliminate anonymous versions. | Daniel Dunbar |
| 2009-06-06 | Document the KQuery language. | Daniel Dunbar |
| 2009-06-05 | Support the extended query command syntax. | Daniel Dunbar |
| 2009-06-05 | Turn an assert into a parse failure. | Daniel Dunbar |
| 2009-06-05 | llvm::Casting support for Kleaver AST nodes. | Daniel Dunbar |
| 2009-06-04 | Start removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr> | Daniel Dunbar |
| 2009-06-04 | Fixed a bug in Kleaver's parser: APInt does not allow "truncation" to | Cristian Cadar |
| 2009-06-04 | Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout. | Cristian Cadar |
| 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-06-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
| 2009-05-28 | Small changes to silence some gcc warnings. | Cristian Cadar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
