about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2009-08-05klee-replay: Support running multiple tests in one invocation, and tweak outputDaniel Dunbar
2009-08-05Build klee-replay when the POSIX runtime is enabled.Daniel Dunbar
2009-08-05Add klee-replay tool.Daniel Dunbar
2009-08-02Don't abort on --exit-on-error failures, this is just confusing.Daniel Dunbar
2009-08-01Update for LLVM API change.Daniel Dunbar
2009-07-26Make sure final KLEE output gets on a new line.Daniel Dunbar
2009-07-26TweakDaniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-07-17Make sure to initialize the native target, so we can make a JIT.Daniel Dunbar
2009-07-17Update for LLVM's wishy washy developers.Daniel Dunbar
2009-07-15[llvm up] Update for LLVM TOT changes.Daniel Dunbar
2009-07-14Update for LLVM API changes.Daniel Dunbar
2009-07-12Update for LLVM API changes.Daniel Dunbar
2009-06-22Update for changes in how JIT is linked in.Daniel Dunbar
2009-06-16kleaver: Add some command line options for choosing the Solver.Daniel Dunbar
2009-06-14Rename FoldingExprBuilder -> SimplifyingExprBuilderDaniel Dunbar
2009-06-14Use ExprBuilder for constructing expressions in the Parser.Daniel Dunbar
2009-06-14Remove some unused functionality.Daniel Dunbar
2009-06-09Use env instead of hard coding python path.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-08kleaver: Use raw_ostream, and print some stats.Daniel Dunbar
2009-06-07Fix typo.Daniel Dunbar
2009-06-07Don't delete decls before parsing is complete.Daniel Dunbar
2009-06-05Fixed a division by zero triggered by straight-line code in klee-stats.Cristian Cadar
2009-06-05Moved PrintStats.py to tool/klee-stats/Cristian Cadar
2009-06-05Support counter example queries (at least, the restricted set that weDaniel Dunbar
2009-06-05Don't evaluate queries if there were parse failures.Daniel Dunbar
2009-06-05Add evaluation support to kleaver (now the default).Daniel Dunbar
2009-06-03Update a few things that got forgotten in the great "bout" to "ktest"Daniel Dunbar
2009-06-01Kill off klee_malloc_n, we don't want to support this.Daniel Dunbar
2009-05-29Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read.Cristian Cadar
2009-05-27Some more updates for bout -> ktest renaming.Daniel Dunbar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
2009-05-23Renamed klee-bout-tool to ktest-tool.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-25 11:22:59 +0000