Changeset 1192 for src/ERTL/ERTLToLTL.ma


Ignore:
Timestamp:
Sep 6, 2011, 1:33:21 PM (9 years ago)
Author:
mulligan
Message:

some files that were missing / laying dormant on my computer

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTLToLTL.ma

    r1191 r1192  
    22include "LTL/LTL.ma".
    33include "ERTL/spill.ma".
     4include "ERTL/build.ma".
     5include "utilities/Interference.ma".
    46include "ASM/Arithmetic.ma".
    57
     
    911  | decision_spill: Byte → decision
    1012  | decision_colour: Register → decision.
     13 
     14definition interference_lookup ≝
     15  λglobals.
     16  λint_fun.
     17  λr.
     18  let 〈liveafter, graph〉 ≝ build globals int_fun in
     19  let lkup ≝ ig_lookup graph r in
     20    vm_find lkup colour_colouring.
     21 
     22definition lookup: register → decision ≝
     23  λr.
     24  match ? r with
     25  [ colour_spill
    1126 
    1227axiom lookup: register → decision.
Note: See TracChangeset for help on using the changeset viewer.