A tool for analyzing the Arm Machine Readable Specification - View it on GitHub