minotaur-toolkit / minotaurLinks
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆117Updated 2 months ago
Alternatives and similar repositories for minotaur
Users that are interested in minotaur are comparing it to the libraries listed below
Sorting:
- Testing memory-level parallelism☆82Updated last year
- Online demo without installing at - https://buildit.so/tryit☆186Updated last week
- Assembly super-optimization via constraint solving☆225Updated 2 weeks ago
- uops.info Code Analyzer☆306Updated last year
- InstLatX64_Demo☆45Updated last month
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 4 years ago
- UB-aware interpreter for LLVM debugging☆31Updated 2 months ago
- A collection of (public) notes on assorted topics☆79Updated 3 months ago
- Embedded Universal DSL: a good DSL for us, by us☆56Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- Dynamic runtime inlining with LLVM☆64Updated 4 years ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- simple snapshot-style integration testing for commands☆72Updated 6 months ago
- A program synthesis framework for verified lifting applications☆56Updated 6 months ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆72Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆161Updated last week
- An educational implementation of a modern compressor in Rust☆48Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆78Updated this week
- Modeling futexes in TLA+☆20Updated last year
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆130Updated 10 months ago
- An LLVM IR dataset for data-driven compiler optimization research☆72Updated this week
- An awesome list of e-graph resources☆264Updated this week
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- A minimal (really) out-of-tree MLIR example☆45Updated 3 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- A translation validation framework for MLIR☆89Updated 8 months ago
- A Wait-Free Universal Construct for Large Objects☆96Updated 6 years ago
- Lightweight framework for easy and efficient code generation☆105Updated last year
- Super-parallel Python port of the C-Reduce☆309Updated last week
- x86-64, ARM, and RVV intrinsics viewer☆76Updated last week