Changeset 1043


Ignore:
Timestamp:
Jun 25, 2011, 2:32:53 AM (8 years ago)
Author:
sacerdot
Message:

Axiom commented out.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/AssemblyProof.ma

    r1042 r1043  
    12511251qed.
    12521252
     1253(* This is a trivial consequence of fetch_assembly + the proof that the
     1254   function that load the code in memory is correct. The latter is based
     1255   on missing properties from the standard library on the BitVectorTrie
     1256   data structrure. *)
    12531257axiom assembly_ok:
    12541258 ∀program,pol,assembled,costs'.
Note: See TracChangeset for help on using the changeset viewer.