~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2013-08-14	Fix typo	Martin Nowack
2013-08-06	Renaming solver-related command-line options in order to decouple them from S...	Hristina Palikareva
2013-01-02	Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...	Cristian Cadar
2012-10-24	Patch by Dan Liew: "Added support for generating .smt2 files when	Cristian Cadar
2012-10-24	Patch by Dan Liew which improves the logging options: "Removed	Cristian Cadar
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