This directory contains the x64-specific part of the compiler backend.
export_x64Script.sml: Define the format of the compiler-generated .S file for x64
proofs: This directory contains the x64-specific proofs.
x64_compileLib.sml: Provides an eval for the x64-specific parts of the backend
x64_configScript.sml: Define the compiler configuration for x64