fbenz / FpDebugLinks
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆24Updated 2 years ago
Alternatives and similar repositories for FpDebug
Users that are interested in FpDebug are comparing it to the libraries listed below
Sorting:
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated last year
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Modern C++ benchmarking☆73Updated 5 years ago
- Universal Number Library☆43Updated 7 years ago
- Programming Accelerators with C++ (PACXX)☆57Updated 7 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Visualization tool for Templight C++ template debugger traces☆90Updated 6 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆69Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆34Updated 5 years ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆48Updated 9 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆47Updated 7 years ago
- BSD Licensed Bignum Library☆232Updated last year
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated 3 months ago
- LLVM Profiling Visualization☆85Updated 3 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆88Updated 5 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated 9 months ago
- A plugin for Clang compiler☆120Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆175Updated 4 years ago
- OpenUH - Open Source UH Compiler☆53Updated 3 months ago
- Archer, a data race detection tool for large OpenMP applications☆64Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆220Updated 2 years ago
- API tracing framework for Linux C/C++ applications☆160Updated 9 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- A modern interface for implementing bulk-synchronous parallel programs.☆94Updated 2 years ago
- Embedding x86 assembly code in C++ with metaprogramming using a domain specific language.☆188Updated 9 years ago
- custom type systems for Clang☆98Updated 10 years ago