compiler-research / iddLinks
A System for Differential Debugging
☆21Updated 3 months ago
Alternatives and similar repositories for idd
Users that are interested in idd are comparing it to the libraries listed below
Sorting:
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated 11 months ago
- Embedded Universal DSL: a good DSL for us, by us☆42Updated this week
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆48Updated last week
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆76Updated this week
- A utility library to bridge llvm and mlir gaps.☆13Updated 6 months ago
- Some experiments with SMT solvers and GIMPLE IR☆75Updated this week
- Markup source code showing optimizations☆36Updated 5 years ago
- ☆20Updated 4 months ago
- CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.☆17Updated last year
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated this week
- Peter's Amazing Syntax Tree Analyzer☆131Updated 10 months ago
- code for examining determinism of performance counters☆21Updated 4 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆16Updated 4 months ago
- CaPI: Compiler-assisted Performance Instrumentation☆16Updated this week
- Next-generation JavaScript analysis tooling☆40Updated this week
- Retargetable ML compilers for the twenty-first century!☆13Updated 3 months ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- ☆14Updated last year
- Cycle-accurate X86-64 simulator based on PTLsim☆30Updated 2 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆55Updated last week
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆11Updated 4 months ago
- A better C/C++ macro extension. Implemented in Clang plugins. Inspired by Rust's macro system☆65Updated 5 years ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- A binary optimization/specialization library supporting multiple rewriters☆114Updated 4 years ago
- NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.☆50Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 5 years ago
- Wyrm is a GCC GIMPLE to LLVM IR transpiler☆56Updated last year