| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-11-23 | Renamed .pc to .kquery (kleaver query) | Eric Rizzi |
| 2014-01-20 | Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably | Dan Liew |
| 2009-07-10 | Updated the Not operation for constants. Added extra test case for this. | Cristian Cadar |
| 2009-06-16 | Add basic constant folding / simplification for Eq. | Daniel Dunbar |
| 2009-06-16 | Add (very) basic constant folding for And,Or,Xor. | Daniel Dunbar |
| 2009-06-16 | Add (very) basic constant folding for Mul. | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Sub in new constant folding builder. | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Add in new constant folding builder. | Daniel Dunbar |
| 2009-06-14 | Start test case for ConstantFoldingExprBuilder | Daniel Dunbar |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |