herd / herdtools7Links
The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆265Updated this 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 week
- ROB size testing utility☆156Updated 3 years ago
- A verification tool for many memory models☆100Updated this week
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆54Updated 6 months ago
- rmem public repo☆45Updated 2 months ago
- ☆196Updated last week
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆100Updated last year
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆139Updated last month
- A formalization of the RVWMO (RISC-V) memory model☆34Updated 3 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆45Updated last month
- ☆62Updated last year
- ☆136Updated 2 months ago
- Memory System Microbenchmarks☆63Updated 2 years ago
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆478Updated last month
- Benchmarks for auto-vectorization and revectorization, including both hand-vectorized and scalar code☆28Updated 6 years ago
- An unofficial mirror of the core PARSEC 3.0 benchmark suite with patches to run on x86_64 Arch Linux and generalize builds.☆116Updated 3 years ago
- ESESC: A Fast Multicore Simulator☆137Updated 3 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆119Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆78Updated this week
- UCLID5: formal modeling, verification, and synthesis of computational systems☆147Updated 3 weeks ago
- Verification and optimization tool for concurrent code☆25Updated this week
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆129Updated 4 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆63Updated last year
- Utilities to measure read access times of caches, memory, and hardware prefetches for simple and fused operations☆84Updated last year
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- This is a mirror of the official libpfm4 git repository, https://sourceforge.net/p/perfmon2/libpfm4/ci/master/tree/ with some local branc…☆65Updated 9 months ago
- uops.info Code Analyzer☆280Updated last year
- Trying to figure various CPU things out☆82Updated last year
- Working Draft of the RISC-V J Extension Specification☆190Updated 2 months ago
- Fork of LLVM adding CHERI support☆56Updated this week