Age | Commit message (Expand) | Author |
---|---|---|
2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar |
2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning |
2018-06-29 | fix out of range access in KleeHandler::getKTestFilesInDir | Frank Busse |