source: src/ASM/AssemblyProof.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @832   10 years mulligan work from today
(edit) @831   10 years sacerdot Progress in proofs.
(edit) @829   10 years sacerdot
(edit) @828   10 years sacerdot Proof statement.
(edit) @827   10 years sacerdot The preamble is now part of the PseudoStatus?.
(edit) @826   10 years mulligan start of proof
(edit) @825   10 years mulligan lots of refactoring, finally got something to prove
(add) @823   10 years mulligan added new file for proof of correctness of pseudo-assembly translation
Note: See TracRevisionLog for help on using the revision log.