compiler-research / iddLinks
A System for Differential Debugging
☆20Updated 3 months ago
Alternatives and similar repositories for idd
Users that are interested in idd are comparing it to the libraries listed below
Sorting:
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- ☆20Updated 4 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆47Updated this week
- A utility library to bridge llvm and mlir gaps.☆13Updated 6 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 11 months ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- ☆20Updated 2 years ago
- A Clang-based C++ Interoperability Library☆73Updated this week
- Markup source code showing optimizations☆36Updated 5 years ago
- Retargetable ML compilers for the twenty-first century!☆13Updated 2 months ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Updated last year
- UB-aware interpreter for LLVM debugging☆29Updated 3 weeks ago
- A library for identifying types of stack, global, and heap allocations in LLVM IR using only LLVM's debug information and metadata.☆14Updated 3 weeks ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆11Updated 4 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆75Updated this week
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆34Updated 4 years ago
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆22Updated 3 weeks ago
- An MLIR-based JavaScript intermediate representation☆37Updated 2 months ago
- ☆32Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆14Updated last year
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆18Updated last month
- A minimal (really) out-of-tree MLIR example☆44Updated last month
- code for examining determinism of performance counters☆21Updated 4 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated last month
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆65Updated 5 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago