about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2010-05-02Sketch support for running KLEE tests using 'lit'.Daniel Dunbar
2010-04-05Fix some tests w/ objdir != srcdir.Daniel Dunbar
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
2010-04-05Fix -emit-llvm spelling (although, these aren't actually needed).Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2010-02-19Fixed the problem of 'make check' failing on XFAILs. Based on patchCristian Cadar
2009-09-21Don't force llvm-gcc to -m32, just hope that it was configured correctly for theDaniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-08-03Fix computation of GetElementPtr offset for 64-bit targets.Daniel Dunbar
2009-08-02Disable this test, KLEE's new[] implementation is broken; surprisingly thisDaniel Dunbar
2009-08-01Implement va_arg handling for x86_64.Daniel Dunbar
2009-08-01Don't force -m32 in tests; this should be handled by the build system.Daniel Dunbar
2009-07-30pcregrep.c isn't going to work on x86_64.Daniel Dunbar
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
2009-07-15Fixed two test cases. Cristian Cadar
2009-07-10Added xfail test: (query [false] true) should return INVALID.Cristian Cadar
2009-07-10Updated the Not operation for constants. Added extra test case for this.Cristian Cadar
2009-07-10Small test for non-boolean Not.Cristian Cadar
2009-06-27Start move to using APFloat (support long double).Daniel Dunbar
2009-06-26More large integer support.Daniel Dunbar
2009-06-25Kill off last getConstantValue uses.Daniel Dunbar
2009-06-25Didn't mean to check this in.Daniel Dunbar
2009-06-25Flesh out support for arbitrary bit widths in some key places (STP & constantDaniel Dunbar
2009-06-16Improve FastCexSolver: Daniel Dunbar
2009-06-16Add basic constant folding / simplification for Eq.Daniel Dunbar
2009-06-16Add (very) basic constant folding for And,Or,Xor.Daniel Dunbar
2009-06-16Add (very) basic constant folding for Mul.Daniel Dunbar
2009-06-16Start SimplifyingExprBuilderDaniel Dunbar
2009-06-15Support partial folding for Sub in new constant folding builder.Daniel Dunbar
2009-06-15Support partial folding for Add in new constant folding builder.Daniel Dunbar
2009-06-14Start test case for ConstantFoldingExprBuilderDaniel Dunbar
2009-06-13pcregrep should run with klee-libc.Daniel Dunbar
2009-06-13Add CBE'ified version of pcregrep.Daniel Dunbar
2009-06-09More constant Array support.Daniel Dunbar
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-07Update test case.Daniel Dunbar
2009-06-07Eliminate anonymous versions.Daniel Dunbar
2009-06-05Support the extended query command syntax.Daniel Dunbar
2009-06-05Turn an assert into a parse failure.Daniel Dunbar
2009-06-05Add evaluation support to kleaver (now the default).Daniel Dunbar
2009-06-05Add test case.Daniel Dunbar
2009-06-04Moved MultiByteReads.pc in test/Expr/ParserCristian Cadar
2009-06-04Fixed a bug in Kleaver's parser: APInt does not allow "truncation" toCristian Cadar
2009-06-04Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout.Cristian Cadar
2009-06-03Update a few things that got forgotten in the great "bout" to "ktest"Daniel Dunbar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Missed a couple testsDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 23:06:24 +0000