about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
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-11-26 03:06:54 +0000