about summary refs log tree commit diff homepage
path: root/test/Feature
AgeCommit message (Expand)Author
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-22 18:16:40 +0000