| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-08 | Mention default value in help text for `--strip-all` and `--strip-debug` | MartinNowack | |
| Co-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com> (cherry picked from commit 5d61fb6114bafbf67c59899d15e397684d4ceb28) | |||
| 2024-02-08 | Disable unsupported passes for newer LLVM versions | Martin Nowack | |
| Similar functionality needs to be added using a new pass manager | |||
| 2024-02-08 | Refactor invocation of old pass manager into legacy function | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |