Partial evaluator for Arm's Architecture Specification Language (ASL) - View it on GitHub