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
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- LLVM Profiling Visualization☆84Updated 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 5 months ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- Universal Number Library☆41Updated 6 years ago
- API tracing framework for Linux C/C++ applications☆158Updated 9 years ago
- LLVM Metadata Visualizer☆22Updated 7 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆126Updated 10 years 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
- Programming Accelerators with C++ (PACXX)☆58Updated 7 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆49Updated 8 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
- A plugin for Clang compiler☆117Updated 3 years ago
- floating-point errors checker☆56Updated this week
- C++11 library for many-sorted logics☆39Updated 8 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- A Valgrind tool for Herbie☆93Updated 2 years ago
- STAT - the Stack Trace Analysis Tool☆65Updated last year
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆52Updated 9 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆68Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆17Updated 2 months ago
- grep for C/C++ source files.☆25Updated 5 months ago
- Parallel GDB developed for debugging HPC code at Lawrence Livermore National Laboratory.☆32Updated 9 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- Modern C++ benchmarking☆73Updated 4 years ago
- parser combinator and AST generator in c++17☆24Updated 2 years ago