about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
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-25 20:46:01 +0000