minotaur-toolkit / minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆100Updated 5 months ago
Alternatives and similar repositories for minotaur:
Users that are interested in minotaur are comparing it to the libraries listed below
- InstLatX64_Demo☆41Updated last week
- Testing memory-level parallelism☆67Updated 10 months ago
- uops.info Code Analyzer☆253Updated last year
- Benchmarking suite for Google workloads☆121Updated this week
- Assembly super-optimization via constraint solving☆178Updated last week
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- An advanced benchmarking tool☆153Updated 2 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- The new home for CnC Tests and Framework Libaries☆53Updated last month
- ☆28Updated this week
- Programatically obtain information about the pages backing a given memory region☆74Updated 3 years ago
- Some experiments with SMT solvers and GIMPLE IR☆72Updated this week
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- ☆55Updated 4 months ago
- ☆79Updated 3 months ago
- Record "perf" performance metrics for individual functions/regions of an ELF binary.☆74Updated last year
- A minimal (really) out-of-tree MLIR example☆37Updated last month
- An awesome list of e-graph resources☆126Updated 2 weeks ago
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) API☆94Updated 2 weeks ago
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- Fast WebAssembly Baseline Compiler☆56Updated last year
- User-space Page Management☆106Updated 5 months ago
- ZP7: Zach's Peppy Parallel-Prefix-Popcountin' PEXT/PDEP Polyfill☆48Updated 5 months ago
- simple snapshot-style integration testing for commands☆70Updated 6 months ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆52Updated last year
- Markup source code showing optimizations☆36Updated 5 years ago
- Generic model checker for concurrent C programs (mirror repository)☆138Updated 4 months ago
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆98Updated 9 months ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated last month
- ROB size testing utility☆141Updated 3 years ago