~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2010-03-14	Update for 2.7.	Daniel Dunbar
2010-02-19	Fixed the problem of 'make check' failing on XFAILs. Based on patch	Cristian Cadar
2009-09-21	Don't force llvm-gcc to -m32, just hope that it was configured correctly for the	Daniel Dunbar
2009-08-17	Update for LLVM API change.	Daniel Dunbar
2009-08-03	Fix computation of GetElementPtr offset for 64-bit targets.	Daniel Dunbar
2009-08-02	Disable this test, KLEE's new[] implementation is broken; surprisingly this	Daniel Dunbar
2009-08-01	Implement va_arg handling for x86_64.	Daniel Dunbar
2009-08-01	Don't force -m32 in tests; this should be handled by the build system.	Daniel Dunbar
2009-07-30	pcregrep.c isn't going to work on x86_64.	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-07-15	Fixed two test cases.	Cristian Cadar
2009-07-10	Added xfail test: (query [false] true) should return INVALID.	Cristian Cadar
2009-07-10	Updated the Not operation for constants. Added extra test case for this.	Cristian Cadar
2009-07-10	Small test for non-boolean Not.	Cristian Cadar
2009-06-27	Start move to using APFloat (support long double).	Daniel Dunbar
2009-06-26	More large integer support.	Daniel Dunbar
2009-06-25	Kill off last getConstantValue uses.	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-16	Improve FastCexSolver:	Daniel Dunbar
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-16	Start SimplifyingExprBuilder	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
2009-06-13	pcregrep should run with klee-libc.	Daniel Dunbar
2009-06-13	Add CBE'ified version of pcregrep.	Daniel Dunbar
2009-06-09	More constant Array support.	Daniel Dunbar
2009-06-07	Implement array declarations.	Daniel Dunbar
2009-06-07	Update test case.	Daniel Dunbar
2009-06-07	Eliminate anonymous versions.	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	Add evaluation support to kleaver (now the default).	Daniel Dunbar
2009-06-05	Add test case.	Daniel Dunbar
2009-06-04	Moved MultiByteReads.pc in test/Expr/Parser	Cristian Cadar
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-03	Update a few things that got forgotten in the great "bout" to "ktest"	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	Missed a couple tests	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar