fbenz / FpDebug
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆23Updated last year
Related projects ⓘ
Alternatives and complementary repositories for FpDebug
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- autotuning C++, just-in-time!☆51Updated 4 years ago
- Markup source code showing optimizations☆35Updated 4 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.☆39Updated 2 months ago
- CERE: Codelet Extractor and REplayer☆41Updated last year
- Universal Number Library☆40Updated 6 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- LLVM Metadata Visualizer☆22Updated 6 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆127Updated 10 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆89Updated 2 months ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆47Updated 8 years ago
- Tool to demangle C++ symbols.☆56Updated last year
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- CLang Plugin for calculating AST hashes☆15Updated 5 years ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Updated 8 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 7 years ago
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆13Updated 3 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆51Updated 9 years ago
- A Valgrind tool for Herbie☆90Updated 2 years ago
- AST - Extractor for LLVM☆18Updated 3 years ago
- A minimalistic and high-performance SAT solver☆26Updated last year
- floating-point errors checker☆52Updated last month
- The cilkplus/llvm repo implements the Intel Cilk Plus language extensions to C and C++ in LLVM.☆70Updated 8 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- A program for automatically resolving #ifdef statements in C code.☆34Updated 2 weeks ago