Updated 10 months ago
cato
Automatic source transformation to apply HPC frameworks with minimal user interaction
Updated 10 months ago
https://github.com/agra-uni-bremen/hardbound-llvm
LLVM 11 compiler pass for HardBound instrumentation