~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2012-10-24	Patch by Dan Liew: "Added primitive test that checks kleaver's new	Cristian Cadar
2012-10-24	Patch by Dan Liew which improves the logging options: "Removed	Cristian Cadar
2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
2012-09-11	Fixed test case to be independent of compiler optimizations and search heuris...	Cristian Cadar
2012-07-20	Fixed bug FPToSI bug reported by Peng Li. Added a simple test case.	Cristian Cadar
2012-04-10	Lowering support for the llvm.uadd.with.overflow intrinsic.	Peter Collingbourne
2012-04-08	Fixed --max-stp-time, which wasn't working unless --use-forked-stp was	Cristian Cadar
2011-08-01	Make the Executor capable of handling bitcasts of aliases, by rewriting the	Peter Collingbourne
2011-07-29	Sign extend, rather than zero extend, narrow gep indices	Peter Collingbourne
2011-05-18	Add ConstantStruct support to Executor::evalConstant	Peter Collingbourne
2011-05-18	Support for arbitrary sized types in ConstantExpr::fromMemory	Peter Collingbourne
2010-10-22	Use %llvmgxx to compile a .cpp file	Peter Collingbourne
2010-08-05	Small fix to test case. Without -f, the test fails when 'make test'	Cristian Cadar
2010-07-08	Add support for InsertValue and ExtractValue instructions	Peter Collingbourne
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2010-04-05	Add long double support, patch by David Ramos.	Daniel Dunbar
2010-04-05	Fix -emit-llvm spelling (although, these aren't actually needed).	Daniel Dunbar
2009-08-01	Implement va_arg handling for x86_64.	Daniel Dunbar
2009-06-27	Start move to using APFloat (support long double).	Daniel Dunbar
2009-06-25	Didn't mean to check this in.	Daniel Dunbar
2009-06-25	Flesh out support for arbitrary bit widths in some key places (STP & constant	Daniel Dunbar
2009-06-05	Support the extended query command syntax.	Daniel Dunbar
2009-06-05	Add test case.	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar