| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-06-09 | Use env instead of hard coding python path. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73142 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-05-29 | Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read. | Cristian Cadar | |
| Increased KTEST version. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72592 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-05-27 | Some more updates for bout -> ktest renaming. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72471 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-05-23 | Renamed klee-bout-tool to ktest-tool. | Cristian Cadar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72306 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |