compiler-research / iddLinks
A System for Differential Debugging
☆19Updated last month
Alternatives and similar repositories for idd
Users that are interested in idd are comparing it to the libraries listed below
Sorting:
- A utility library to bridge llvm and mlir gaps.☆13Updated 4 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆40Updated this week
- ☆13Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains☆22Updated last year
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆74Updated last week
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆19Updated last week
- VSCode extension for the LLVM IR language☆61Updated last year
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- A Clang-based C++ Interoperability Library☆69Updated this week
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆16Updated 8 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- An MLIR-based JavaScript intermediate representation☆31Updated last month
- UB-aware interpreter for LLVM debugging☆28Updated last week
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆20Updated 2 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT☆16Updated 4 years ago
- ☆30Updated last year
- CaPI: Compiler-assisted Performance Instrumentation☆16Updated last month
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Updated 4 years ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆16Updated 11 months ago
- llvm crash analysis☆43Updated 11 months ago