PabbleExtractor_Alpha

An internal version of pabble extractor which extract parameterised protocol from standard MPI-C program

Name		Name	Last commit message	Last commit date
Latest commit History 83 Commits
include		include
CollectiveOP.cpp		CollectiveOP.cpp
Comm.cpp		Comm.cpp
Comm.h		Comm.h
ExtractBoolCond.cpp		ExtractBoolCond.cpp
ExtractMPIOP.cpp		ExtractMPIOP.cpp
ExtractTarCond.cpp		ExtractTarCond.cpp
InteractionNode.cpp		InteractionNode.cpp
MPIOP.cpp		MPIOP.cpp
MPITree.cpp		MPITree.cpp
MPITypeCheckingConsumer.cpp		MPITypeCheckingConsumer.cpp
MPITypeCheckingConsumer.h		MPITypeCheckingConsumer.h
PropertySheet.props		PropertySheet.props
ProtocolGen.cpp		ProtocolGen.cpp
README.md		README.md
RanAndCond.cpp		RanAndCond.cpp
ReadMe.txt		ReadMe.txt
Roles.cpp		Roles.cpp
SessionTypeExtractor.cpp		SessionTypeExtractor.cpp
SessionTypeExtractor4MPI.vcxproj		SessionTypeExtractor4MPI.vcxproj
SessionTypeExtractor4MPI.vcxproj.filters		SessionTypeExtractor4MPI.vcxproj.filters
SessionTypeExtractor4MPI.vcxproj.user		SessionTypeExtractor4MPI.vcxproj.user
Simulation.cpp		Simulation.cpp
StmtHandler.cpp		StmtHandler.cpp

Provide feedback