PRUNERS Toolset

All

17 repositories

FLiT
Public
A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
C++
•
Other
•6•36•71•0•Updated Nov 14, 2024Nov 14, 2024
ReMPI
Public
ReMPI (MPI Record-and-Replay)
debugging reproducibility record-and-replay debugging-tool mpi clock-delta-compression
C++
•
Other
•6•38•0•0•Updated May 28, 2024May 28, 2024
NINJA
Public
NINJA: Noise Inject agent tool to expose subtle and unintended message races
mpi debugging-tool noise-injection unintended-message-races
C++
•
Other
•2•8•1•0•Updated May 4, 2022May 4, 2022
pruners.github.io
Public
Official WebPage of the PRUNERS Project
TeX
•3•3•0•0•Updated Oct 23, 2021Oct 23, 2021
flit_tutorial
Public
Examples to be used at PEARC19
C++
•0•1•1•0•Updated Oct 22, 2021Oct 22, 2021
archer
Public
Archer, a data race detection tool for large OpenMP applications
open-source llvm clang llvm-openmp-runtime archer threadsanitizer-support openmp-applications
C
•
Apache License 2.0
•13•63•17•2•Updated Aug 19, 2020Aug 19, 2020
llvm-project
Public
This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
C++
•12k•0•0•0•Updated Nov 22, 2019Nov 22, 2019
openmp
Public
Mirror of official openmp-llvm git repository located at http://llvm.org/git/openmp. Updated every five minutes.
C++
•
Other
•128•0•0•1•Updated Jul 18, 2019Jul 18, 2019
compiler-rt
Public
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
C
•
Other
•333•0•0•1•Updated Sep 5, 2018Sep 5, 2018
sword
Public
A lightweight data race detector for OpenMP programs
C
•
Other
•1•1•4•0•Updated Aug 28, 2018Aug 28, 2018
llvm_archer
Public
Automatic installation script for Clang/LLVM with Archer support
Shell
•
Other
•0•2•1•0•Updated Jan 27, 2018Jan 27, 2018
Research-Prototypes
Public
Repository for old and new research prototypes
C++
•0•0•0•0•Updated Oct 15, 2017Oct 15, 2017
dataracebench
Public
Data race benchmark suite
C
•
Other
•29•0•0•0•Updated Sep 5, 2017Sep 5, 2017
PRUNERS-Toolset
Public
Other
•0•3•0•0•Updated Aug 10, 2017Aug 10, 2017
TestingTools
Public
CMake
•0•0•1•0•Updated Jan 27, 2017Jan 27, 2017
StackP
Public
StackP: Static PMPI-wrapper stacker and link tool
C
•
Other
•0•0•0•0•Updated Dec 29, 2016Dec 29, 2016
CLMPI
Public
A PMPI tool for piggybacking Lamport clock
C
•
Other
•0•0•1•0•Updated Dec 29, 2016Dec 29, 2016