This directory contains the mips-specific part of the compiler backend.
export_mipsScript.sml: Define the format of the compiler-generated .S file for MIPS
mips_configScript.sml: Define the compiler configuration for MIPS
proofs: This directory contains the mips-specific proofs.