about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
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-22 22:27:29 +0000