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:
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 11 months ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- Programming Accelerators with C++ (PACXX)☆57Updated 7 years ago
- A Valgrind tool for Herbie☆94Updated 2 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 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
- Modern C++ benchmarking☆73Updated 5 years ago
- resurrected LLVM "C Backend", with improvements☆129Updated 4 years ago
- Intel(R) Concurrent Collections for C++☆116Updated 2 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
- BSD Licensed Bignum Library☆233Updated last year
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- API tracing framework for Linux C/C++ applications☆160Updated 9 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Universal Number Library☆42Updated 7 years ago
- Continuous Perfomance Monitor (CPM) for C++ code☆40Updated last year
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆69Updated 9 years ago
- custom type systems for Clang☆98Updated 9 years ago
- DSL for physical simulation☆89Updated 9 years ago
- LLVM Profiling Visualization☆85Updated 3 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆127Updated 11 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated 3 months ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆183Updated 6 years ago
- A plugin for Clang compiler☆119Updated 3 years ago
- autotuning C++, just-in-time!☆52Updated 5 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- OpenUH - Open Source UH Compiler☆53Updated 2 months ago
- Alive: Automatic LLVM's Instcombine Verifier☆221Updated 2 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago