fbenz / FpDebugLinks
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆24Updated 3 years ago
Alternatives and similar repositories for FpDebug
Users that are interested in FpDebug are comparing it to the libraries listed below
Sorting:
- 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
- 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
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆70Updated 10 years ago
- LLVM Profiling Visualization☆84Updated 4 years ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- autotuning C++, just-in-time!☆52Updated 5 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Universal Number Library☆44Updated 7 years ago
- API tracing framework for Linux C/C++ applications☆159Updated 10 years ago
- custom type systems for Clang☆96Updated 10 years ago
- Example project from my talks in the LLVM Social Berlin and C++ User Group☆176Updated 4 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated 2 months ago
- A Valgrind tool for Herbie☆97Updated 3 years ago
- Continuous Perfomance Monitor (CPM) for C++ code☆40Updated 2 years ago
- Reworking of Agner Fog's performance test programs for Linux☆117Updated 3 months ago
- The Piranha computer algebra system.☆106Updated 3 years ago
- A collection of clang plugins for safer C programming☆93Updated 7 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆48Updated 8 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- Modern C++ benchmarking☆73Updated 5 years ago
- BSD Licensed Bignum Library☆233Updated last year
- resurrected LLVM "C Backend", with improvements☆132Updated 5 years ago
- Programming Accelerators with C++ (PACXX)☆58Updated 7 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆225Updated 2 years ago
- ☆55Updated last year
- Code Analysis and Refactoring with Clang Tools☆129Updated 5 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆188Updated 6 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago