The GenE* Benchmark generator. See README for details.
The Aladdin Evaluation Framework
The C Annotation and Rewriting Tool
The GenE Benchmark Generator (LLVM tool)
Bootstrapping scripts - clone this repo for initial installation
Code Metrics for Benchmarking Timing Analysis
DEPRECATED. Use aorta/WCA/platin