rutgers-apl / fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
☆12Updated 2 years ago
Alternatives and similar repositories for fpsanitizer:
Users that are interested in fpsanitizer are comparing it to the libraries listed below
- A translation validation framework for MLIR☆78Updated 2 months ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- ☆20Updated 5 years ago
- A standard for floating point accuracy benchmarks☆46Updated 3 weeks ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆34Updated 8 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆13Updated 4 years ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆27Updated 4 months ago
- Pono: A flexible and extensible SMT-based model checker☆87Updated 2 months ago
- FPGA synthesis tool powered by program synthesis☆37Updated last month
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 8 months ago
- ☆10Updated 6 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- ☆27Updated 7 months ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 6 months ago
- A Fast Floating-Point Satisfiability Solver☆21Updated 6 years ago
- Library to plot integer sets and maps☆48Updated 8 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated 4 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆119Updated 3 weeks ago
- ☆86Updated 2 years ago
- Retargetable ML compilers for the twenty-first century!☆12Updated 4 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆55Updated 10 months ago
- Automata Benchmark Suite☆19Updated last year
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆16Updated 2 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated 11 months ago
- Memory consistency modelling using Alloy☆28Updated 4 years ago