Pinned Repositories
analyzer
The goblint static analysis framework
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
console-client
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
guava
Google core libraries for Java
java-common-lib
SoSy-Lab Java Common Library
libiio
A cross platform library for interfacing with local and remote Linux IIO devices
predator
A Shape Analyzer Based on Symbolic Memory Graphs
predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
zilu
MartinSpiessl's Repositories
MartinSpiessl/zilu
MartinSpiessl/analyzer
The goblint static analysis framework
MartinSpiessl/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
MartinSpiessl/console-client
MartinSpiessl/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
MartinSpiessl/guava
Google core libraries for Java
MartinSpiessl/java-common-lib
SoSy-Lab Java Common Library
MartinSpiessl/libiio
A cross platform library for interfacing with local and remote Linux IIO devices
MartinSpiessl/predator
A Shape Analyzer Based on Symbolic Memory Graphs
MartinSpiessl/predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
MartinSpiessl/pycparser
:snake: Complete C99 parser in pure Python
MartinSpiessl/pycparserext
Extensions for Eli Bendersky's pycparser
MartinSpiessl/sv-benchmarks
Collection of Verification Tasks
MartinSpiessl/sv-comp
Information to reproduce results from SV-COMP
MartinSpiessl/uthash
C macros for hash tables and more
MartinSpiessl/zilu_benchmark