about summary refs log tree commit diff homepage
path: root/test/Feature
AgeCommit message (Expand)Author
2012-11-28Fixed fragile test case that depended too much on the code generatedCristian Cadar
2012-10-24Patch by Dan Liew: "Added primitive test that checks kleaver's newCristian Cadar
2012-10-24Patch by Dan Liew which improves the logging options: "RemovedCristian Cadar
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
2012-09-11Fixed test case to be independent of compiler optimizations and search heuris...Cristian Cadar
2012-07-20Fixed bug FPToSI bug reported by Peng Li. Added a simple test case. Cristian Cadar
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2012-04-08Fixed --max-stp-time, which wasn't working unless --use-forked-stp wasCristian Cadar
2011-08-01Make the Executor capable of handling bitcasts of aliases, by rewriting thePeter Collingbourne
2011-07-29Sign extend, rather than zero extend, narrow gep indicesPeter Collingbourne
2011-05-18Add ConstantStruct support to Executor::evalConstantPeter Collingbourne
2011-05-18Support for arbitrary sized types in ConstantExpr::fromMemoryPeter Collingbourne
2010-10-22Use %llvmgxx to compile a .cpp filePeter Collingbourne
2010-08-05Small fix to test case. Without -f, the test fails when 'make test'Cristian Cadar
2010-07-08Add support for InsertValue and ExtractValue instructionsPeter Collingbourne
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
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
2009-08-01Implement va_arg handling for x86_64.Daniel Dunbar
2009-06-27Start move to using APFloat (support long double).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-05Support the extended query command syntax.Daniel Dunbar
2009-06-05Add test case.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-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 02:00:11 +0000