dtcxzyw / llvm-ub-aware-interpreter
UB-aware interpreter for LLVM debugging
☆22Updated this week
Alternatives and similar repositories for llvm-ub-aware-interpreter:
Users that are interested in llvm-ub-aware-interpreter are comparing it to the libraries listed below
- An LLVM IR dataset for data-driven compiler optimization research☆32Updated this week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated this week
- Embedded Universal DSL: a good DSL for us, by us☆32Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- An awesome list of e-graph resources☆126Updated last month
- A utility library to bridge llvm and mlir gaps.☆13Updated last month
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Automatically generate a compiler using equality saturation☆28Updated 10 months ago
- MimIR is my Intermediate Representation☆56Updated this week
- ☆9Updated 6 months ago
- ☆20Updated last year
- Website for CS 265☆27Updated last month
- Verification and optimization tool for concurrent code☆22Updated last week
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated this week
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- Partial Redundancy Elimination Pass in LLVM☆13Updated 5 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆115Updated 5 years ago
- Symbolic execution tool for Sail ISA specifications☆66Updated 3 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago