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
- Markup source code showing optimizations☆36Updated 5 years ago
- Universal Number Library☆41Updated 7 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
- floating-point errors checker☆56Updated 2 weeks 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
- 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
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- A Valgrind tool for Herbie☆93Updated 2 years ago
- Floating-Point Scalar Evolution☆12Updated 5 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
- NOVA userland☆48Updated 11 years ago
- autotuning C++, just-in-time!☆51Updated 5 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- Programming Accelerators with C++ (PACXX)☆58Updated 7 years ago
- STAT - the Stack Trace Analysis Tool☆66Updated last year
- David M. Gay's floating-point conversion library☆33Updated 14 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- Demonstration of LLVM's opt-viewer tool☆70Updated 8 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- A program for automatically resolving #ifdef statements in C code.☆36Updated 4 months ago
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- resurrected LLVM "C Backend", with improvements☆127Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 6 years ago