There are no reviews yet. Be the first to send feedback to the community and the maintainers!
rlibm-32
RLibm for 32-bit representations (float and posit32)The-RLIBM-Project
A combined repository for all RLIBM prototypesrlibm
Rutgers APL correctly rounded math libraryalive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVMrlibm-all
RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modesTaskProf
A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programsfpsanitizer
A debugger to detect and diagnose numerical errors in floating point programsrlibm-generator
A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.TaskProf2
A Parallelism Profiler and an Adviser for Task Parallel Programs.omp-whip
OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programsCASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithmsPTRacer
A data race detector for C++ programs that use Intel TBB for task parallelismEFTSanitizer
EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errorsPFPSanitizer
PositDebug
A debugger to detect numerical errors in applications using posits.omp-racer
A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graphrlibm-prog
Atomicity-Violation-Detector
Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.Love Open Source and this site? Check out how you can help us