This directory contains the mips-specific proofs.
mips_configProofScript.sml: For MIPS, prove that the compiler configuration is well formed, and instantiate the compiler correctness theorem.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains the mips-specific proofs.
mips_configProofScript.sml: For MIPS, prove that the compiler configuration is well formed, and instantiate the compiler correctness theorem.