fbenz / FpDebug
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆23Updated 2 years ago
Alternatives and similar repositories for FpDebug:
Users that are interested in FpDebug are comparing it to the libraries listed below
- Program analysis tool based on software performance counters☆56Updated 3 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 7 months ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆47Updated 9 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Universal Number Library☆41Updated 7 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- ☆31Updated 3 weeks ago
- floating-point errors checker☆56Updated this week
- Markup source code showing optimizations☆36Updated 5 years ago
- An OpenMP runtime implemented using HPX☆23Updated 2 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆57Updated 2 years ago
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Updated 8 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated last month
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Tool to demangle C++ symbols.☆58Updated last year
- LLVM Metadata Visualizer☆22Updated 7 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆30Updated 5 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆33Updated 5 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆126Updated 10 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆52Updated 9 years ago
- A benchmark for standard libraries☆22Updated last year
- Collection of Agner Fog Software☆38Updated 7 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago