Changeset 2697 for src


Ignore:
Timestamp:
Feb 22, 2013, 12:13:51 PM (7 years ago)
Author:
sacerdot
Message:

Compiler fixed to include the ERTLptrToLTL pass.

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/ERTLptrToLTL.ma

    r2694 r2697  
    441441qed.
    442442
    443 definition ertl_to_ltl: ertlptr_program → ltl_program ≝
     443definition ertlptr_to_ltl: ertlptr_program → ltl_program ≝
    444444  b_graph_transform_program … translate_data.
  • src/compiler.ma

    r2693 r2697  
    1 
    21include "Clight/label.ma".
    32include "Clight/SimplifyCasts.ma".
     
    1817include "RTLabs/RTLabsToRTL.ma".
    1918include "RTL/RTLToERTL.ma".
    20 include "ERTL/ERTLToLTL.ma".
     19include "ERTL/ERTLToERTLptr.ma".
     20include "ERTLptr/ERTLptrToLTL.ma".
    2121(*
    2222include "LTL/LTLToLIN.ma".
     
    3535  let p ≝ rtlabs_to_rtl p in
    3636  let p ≝ rtl_to_ertl p in
    37   let p ≝ ertl_to_ltl p in  (* TODO: abstract over colouring *)
     37  let p ≝ ertl_to_ertlptr p in
     38  let p ≝ ertlptr_to_ltl p in  (* TODO: abstract over colouring *)
    3839  let p ≝ ltl_to_lin p in
    3940          lin_to_asm p.
Note: See TracChangeset for help on using the changeset viewer.