arcana-lab / memoirLinks
A case for representing data collections and objects in the LLVM IR
☆21Updated 2 months ago
Alternatives and similar repositories for memoir
Users that are interested in memoir are comparing it to the libraries listed below
Sorting:
- UB-aware interpreter for LLVM debugging☆31Updated 3 months ago
- An LLVM IR dataset for data-driven compiler optimization research☆73Updated this week
- An experimental optimizing compiler for Bril using egglog☆82Updated last month
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated last month
- ☆37Updated 3 months ago
- A translation validation framework for MLIR☆90Updated 9 months ago
- Embedded Universal DSL: a good DSL for us, by us☆60Updated last week
- An awesome list of e-graph resources☆279Updated 3 weeks ago
- Symbolic execution tool for Sail ISA specifications☆82Updated last week
- Rewrite Rule Inference Using Equality Saturation☆149Updated 7 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Updated 4 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- ☆67Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆120Updated this week
- Automatically generate a compiler using equality saturation☆34Updated last year
- Website for CS 265☆33Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- NOELLE Offers Empowering LLVM Extensions☆83Updated 5 months ago
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆25Updated 4 months ago
- simple snapshot-style integration testing for commands☆75Updated 7 months ago
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIs☆127Updated 2 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆184Updated last month
- Fork of LLVM adding CHERI support☆60Updated 3 weeks ago
- RISCV Core written in Calyx☆17Updated last year
- A verification tool for many memory models☆108Updated last week
- A program synthesis framework for verified lifting applications☆58Updated 7 months ago
- A minimal development of SSA theory☆203Updated 2 weeks ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆149Updated 5 years ago