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
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 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
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 10 months 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…☆46Updated 7 years ago
- autotuning C++, just-in-time!☆52Updated 5 years ago
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Updated 9 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Play-with-compiler sandbox based on PWD☆10Updated 4 years ago
- API tracing framework for Linux C/C++ applications☆158Updated 9 years ago
- floating-point errors checker☆57Updated this week
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- Programming Accelerators with C++ (PACXX)☆57Updated 7 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…☆56Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated last month
- Floating-Point Scalar Evolution☆12Updated 6 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- gcc plugin to discover optimization passes used during compilation☆20Updated 4 years ago
- C++11 library for many-sorted logics☆39Updated 8 years ago