Program skeleton slicing

This Repository contains the llvm pass that computes a program skeleton needed to

Prerequisites

For this Project, we used clang/llvm 16.0.1

Currently. There are two different use cases:

MPI Matching: Precalculation of MPI message envelopes. Camke Option: MPI_USE_CASE
Thread Sanitizer: Skeleton based on Tsan Instrumentation without computation. Camke Option: SANITIZER_USE_CASE Use The Cmake Options to build them.

Refer to the Readme in each use cases directory for more information about its usage.

Name		Name	Last commit message	Last commit date
Latest commit History 1,305 Commits
precomputation_compiler_lib		precomputation_compiler_lib
precompute_runtime_lib		precompute_runtime_lib
use-cases		use-cases
.clang-format		.clang-format
.gitignore		.gitignore
.gitmodules		.gitmodules
CMakeLists.txt		CMakeLists.txt
Readme.md		Readme.md
clang_wrapper.sh		clang_wrapper.sh
format_code.sh		format_code.sh
process-pass-output.py		process-pass-output.py
setup_env.sh		setup_env.sh