source: src/ASM/AssemblyProofSplitSplit.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2123   9 years boender - moved is_well_labeled_p to Status and instruction_is_label to ASM …
(edit) @2122   9 years sacerdot More stuff moved around in proper places
(edit) @2110   9 years sacerdot
(edit) @2062   9 years sacerdot Everything repaired (broken because of new proof obligation for fetch).
(edit) @2051   9 years mulligan Finished the Jmp case in the main theorem.
(edit) @2047   9 years mulligan Big bugs in policy calculations found. Waiting for Jaap's commit.
(edit) @2027   9 years mulligan Got the main lemma to apply in the proof of main theorem again and …
(add) @2026   9 years mulligan Added a new file to house the main theorem as the type checking time …
Note: See TracRevisionLog for help on using the revision log.