This directory contains the ARMv8-specific part of the compiler backend.
arm8_compileLib.sml: Provides a compset for the ARMv8-specific parts of the backend
arm8_configScript.sml: Define the compiler configuration for ARMv8
export_arm8Script.sml: Define the format of the compiler-generated .S file for ARMv8
proofs: This directory contains the ARMv8-specific proofs.