~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2012-10-08	Make the changes in r165394 be conditional on post LLVM 3.1 changes.	Micah Villmow
2012-10-08	Move TargetData to DataLayout.	Micah Villmow
2011-08-01	Make the Executor capable of handling bitcasts of aliases, by rewriting the	Peter Collingbourne
2011-07-20	Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!	Peter Collingbourne
2011-05-25	Name symbolic arrays using the 3rd argument to klee_make_symbolic,	Peter Collingbourne
2010-07-15	Fix some -Wmismatched-tags warnings.	Daniel Dunbar
2010-07-08	Add support for InsertValue and ExtractValue instructions	Peter Collingbourne
2010-06-24	Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o...	Peter Collingbourne
2009-07-25	(llvm up) Update for llvm::Value getName() change.	Daniel Dunbar
2009-06-14	More ConstantExpr cleanup.	Daniel Dunbar
2009-06-14	More ConstantExpr tweaks.	Daniel Dunbar
2009-06-13	Create new ObjectState constructor for explicitly creating symbolic objects.	Daniel Dunbar
2009-06-04	Sink getConstantValue into ConstantExpr.	Daniel Dunbar
2009-06-04	Start removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-01	Kill off klee_malloc_n, we don't want to support this.	Daniel Dunbar
2009-06-01	Modify eval() to return a cell reference instead of its contents.	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar