Pinned Repositories
FileCheck.py
[PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.
homebrew-mull
html-reports
klee-tutorial-two
Klee Tutorial Two tests
libirm
Low-level IR mutations for LLVM Bitcode
llvm-jit-objc
Extensions for LLVM's JIT to run Objective-C and Swift code.
mull
Practical mutation testing and fault injection for C and C++
mull-jit-lab
Some experiments with different programming languages and LLVM JIT.
mull-reporter-sqlite
SQLite reporter for Mull.
RustSymbolDemangling
C++ library to demangle Rust symbols. Ported loosely from rustc-demangle.
Mull Project's Repositories
mull-project/mull
Practical mutation testing and fault injection for C and C++
mull-project/libirm
Low-level IR mutations for LLVM Bitcode
mull-project/llvm-jit-objc
Extensions for LLVM's JIT to run Objective-C and Swift code.
mull-project/FileCheck.py
[PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.
mull-project/mull-jit-lab
Some experiments with different programming languages and LLVM JIT.
mull-project/html-reports
mull-project/klee-tutorial-two
Klee Tutorial Two tests
mull-project/homebrew-mull
mull-project/mull-reporter-sqlite
SQLite reporter for Mull.
mull-project/RustSymbolDemangling
C++ library to demangle Rust symbols. Ported loosely from rustc-demangle.
mull-project/CustomXCTestRunner
mull-project/mull-auto-test
Mull Auto Test: mutation testing for Mull's own code (Mac OS only).
mull-project/unipr-lecture