rutgers-apl / fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fpsanitizer
- ☆20Updated 5 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆13Updated 4 years ago
- A translation validation framework for MLIR☆73Updated last week
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- ☆26Updated 5 months ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years 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
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 6 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆17Updated 2 months ago
- ☆27Updated last year
- ☆16Updated 2 years ago
- A multicore microprocessor test harness for measuring interference☆13Updated 4 years ago
- Pono: A flexible and extensible SMT-based model checker☆82Updated 3 weeks ago
- Generates CIL MLIR dialect from C/C++ source.☆31Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆12Updated 6 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆16Updated 5 months ago
- ☆84Updated 2 years ago
- ☆37Updated this week
- A repository to test dialects defined dynamically.☆12Updated last year
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 months ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- A standard for floating point accuracy benchmarks☆44Updated 2 weeks ago
- ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …☆8Updated 7 years ago