Changeset 2705 for src/compiler.ma


Ignore:
Timestamp:
Feb 22, 2013, 5:56:31 PM (7 years ago)
Author:
sacerdot
Message:

More progress in ASM towards implementing the new pseudoinstructions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2702 r2705  
    1919include "ERTL/ERTLToERTLptr.ma".
    2020include "ERTLptr/ERTLptrToLTL.ma".
     21include "LTL/LTLToLIN.ma".
    2122(*
    22 include "LTL/LTLToLIN.ma".
    2323include "LIN/LINToASM.ma".
    24 *) include "ASM/ASM.ma". include "LIN/LIN.ma".
    25    axiom ltl_to_lin: ltl_program → lin_program.
     24*) include "ASM/ASM.ma".
    2625   axiom lin_to_asm: lin_program → pseudo_assembly_program.
    2726
Note: See TracChangeset for help on using the changeset viewer.