Ignore:
Timestamp:
Mar 28, 2013, 4:58:26 PM (7 years ago)
Author:
tranquil
Message:

ERTL to ERTLptr pass suppressed (it introduced a bug in the later ERTLptr to LTL), and integrated in a single ERTToLTL pass like before

File:
1 moved

Legend:

Unmodified
Added
Removed
  • src/ERTL/Interference.ma

    r3012 r3014  
    1 include "ERTLptr/liveness.ma".
     1include "ERTL/liveness.ma".
    22
    33inductive decision: Type[0] ≝
     
    1919definition coloured_graph_computer ≝
    2020 ∀globals.
    21   ∀fn:joint_internal_function ERTLptr globals.
     21  ∀fn:joint_internal_function ERTL globals.
    2222   ∀liveafter.
    2323    coloured_graph (livebefore globals fn liveafter).
Note: See TracChangeset for help on using the changeset viewer.