dtcxzyw / llvm-ub-aware-interpreter
UB-aware interpreter for LLVM debugging
☆15Updated this week
Related projects ⓘ
Alternatives and complementary repositories for llvm-ub-aware-interpreter
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated 2 months ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆54Updated 2 weeks ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆40Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated last year
- ☆22Updated last year
- RUst way for Reuse Analysis☆13Updated 7 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- An awesome list of e-graph resources☆105Updated last week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated last year
- Python bindings for egg☆47Updated last year
- A translation validation framework for MLIR☆73Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated last year
- Cyclic theorem prover for equalitional reasoning using egraphs☆24Updated last year
- MimIR is my Intermediate Representation☆48Updated 2 weeks ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Compiler optimizer for arbitrary control flow based on equality saturation☆84Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆68Updated this week
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 3 months ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- sketches for egg: a flexible, high-performance e-graph library☆25Updated 5 months ago
- ☆8Updated 3 months ago
- Zombie chan revive!☆24Updated 8 months ago
- Fast WebAssembly Baseline Compiler☆54Updated last year
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- Apple Silicon TSO Enabler for Linux☆15Updated 10 months ago
- ☆52Updated this week