sessionc
Popular repositories Loading
-
-
-
libscribble
libscribble PublicParameterised Scribble protocol descripton language support library
C
-
Repositories
Showing 8 of 8 repositories
- mpi-pabble-extractor Public
An application which can extract parameterised protocol from MPI C source code
sessionc/mpi-pabble-extractor’s past year of commit activity - MPI-Type-checker Public Forked from sockats/MPI-Type-checker
A program build as a clang plugin in order to enhance communication safety of MPI programs. This is performed by extracting the MPI primitives and the language constructs from a given source code. Following that a global protocol given to the program will be projected into local protocols. The type checker checks the conformance between the tree…
sessionc/MPI-Type-checker’s past year of commit activity