minotaur-toolkit / minotaurLinks
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆110Updated last year
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☆79Updated last year
- Assembly super-optimization via constraint solving☆213Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last month
- InstLatX64_Demo☆44Updated 2 months ago
- uops.info Code Analyzer☆281Updated last year
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIs☆118Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆42Updated this week
- UB-aware interpreter for LLVM debugging☆29Updated this week
- Benchmarking suite for Google workloads☆128Updated this week
- Fast WebAssembly Baseline Compiler☆58Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆156Updated last week
- simple snapshot-style integration testing for commands☆71Updated 2 months ago
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- A collection of (public) notes on assorted topics☆79Updated 3 weeks ago
- Poireau: a sampling allocation debugger☆99Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆75Updated last week
- An educational implementation of a modern compressor in Rust☆47Updated last year
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆31Updated 3 years ago
- RV: A Unified Region Vectorizer for LLVM☆111Updated 2 months ago
- An awesome list of e-graph resources☆201Updated last month
- A minimal (really) out-of-tree MLIR example☆44Updated this week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 3 years ago
- Open Source Architecture Code Analyzer☆327Updated 3 weeks ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- ☆58Updated 10 months ago
- ☆30Updated this week
- ☆69Updated this week
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆122Updated 6 months ago