Changeset 2581


Ignore:
Timestamp:
Jan 15, 2013, 3:45:28 PM (7 years ago)
Author:
mckinna
Message:

commented out back end entirely until knock-on effects of changes to Joint and RTL etc. are worked through

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2512 r2581  
    1616  return 〈init_cost,p',p〉.
    1717
     18(*
    1819include "RTLabs/RTLabsToRTL.ma".
    1920include "RTL/RTLToERTL.ma".
     
    3435  let p ≝ ltl_to_lin p in
    3536          lin_to_asm p.
     37*)
     38include "ASM/ASM.ma".
     39axiom back_end : RTLabs_program → pseudo_assembly_program.
    3640
    3741(* JHM: minimum needed for assembler axiom to typecheck *)
Note: See TracChangeset for help on using the changeset viewer.