herd / herdtools7Links
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆267Updated last week
Alternatives and similar repositories for herdtools7
Users that are interested in herdtools7 are comparing it to the libraries listed below
Sorting:
- Generic model checker for concurrent C programs (mirror repository)☆156Updated last month
- ROB size testing utility☆157Updated 3 years ago
- A verification tool for many memory models☆100Updated this week
- rmem public repo☆47Updated 3 months ago
- A formalization of the RVWMO (RISC-V) memory model☆35Updated 3 years ago
- ☆203Updated this week
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆103Updated last year
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆54Updated 7 months ago
- Verification and optimization tool for concurrent code☆25Updated last month
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆480Updated 3 months ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆149Updated 2 months ago
- uops.info Code Analyzer☆290Updated last year
- ☆384Updated this week
- RV: A Unified Region Vectorizer for LLVM☆111Updated 3 months ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆140Updated 2 months ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆130Updated 3 years ago
- NOELLE Offers Empowering LLVM Extensions☆79Updated last month
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆130Updated 4 years ago
- Fork of LLVM adding CHERI support☆57Updated last week
- CSiBE☆34Updated 3 years ago
- ☆138Updated 3 weeks ago
- SoftFloat release 3☆295Updated 6 months ago
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆84Updated last year
- RISC-V support for LLVM projects (LLVM, Clang, ...)☆273Updated last year
- A translation validation framework for MLIR☆87Updated 5 months ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆142Updated 5 years ago
- ☆63Updated last year
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆46Updated last month
- Updated C version of the Test Suite for Vectorising Compilers☆65Updated last year