Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cif
C Instrumentation Framework is a user-friendly interface for Aspectator
clade
Clade is a tool for extracting information about software build process and source code
Convert_from_graphml_to_sarif
cpachecker
CPAchecker, the Configurable Software-Verification Platform
cpachecker-ldv
cv.harmonyos.config
Artifacts for CV for verification of HarmonyOS
cv.liteos.config
Config for experiments and verification of LiteOS
genmc
Generic model checker for concurrent C programs (mirror repository)
Kconfiglib
A flexible Python 2/3 Kconfig parser and library
mutilin's Repositories
mutilin/cpachecker
CPAchecker, the Configurable Software-Verification Platform
mutilin/cpachecker-ldv
mutilin/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
mutilin/cif
C Instrumentation Framework is a user-friendly interface for Aspectator
mutilin/clade
Clade is a tool for extracting information about software build process and source code
mutilin/Convert_from_graphml_to_sarif
mutilin/cv.harmonyos.config
Artifacts for CV for verification of HarmonyOS
mutilin/cv.liteos.config
Config for experiments and verification of LiteOS
mutilin/genmc
Generic model checker for concurrent C programs (mirror repository)
mutilin/Kconfiglib
A flexible Python 2/3 Kconfig parser and library
mutilin/klever
Klever Git repository read-only mirror
mutilin/uppsala
concurrency benchmarks
mutilin/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mutilin/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
mutilin/qed
mutilin/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis
mutilin/sv-benchmarks
mutilin/sv-comp
Information to reproduce results from SV-COMP
mutilin/yogar-cbmc