Changeset 3014 for driver/acc.ml


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 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3005 r3014  
    2626 | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass             "
    2727 | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass                 "
    28  | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass              "
    2928 | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass                  "
    3029 | Extracted.Compiler.Lin_pass                   -> "Lin_pass                  "
Note: See TracChangeset for help on using the changeset viewer.