Changeset 3014 for src/semantics.ma


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
  • src/semantics.ma

    r2905 r3014  
    66include "RTL/RTL_semantics.ma".
    77include "ERTL/ERTL_semantics.ma".
    8 include "ERTLptr/ERTLptr_semantics.ma".
    98include "LTL/LTL_semantics.ma".
    109include "LIN/LIN_semantics.ma".
     
    3231  | ertl_pass ⇒
    3332     λ_.mk_preclassified_system_pass … (joint_preclassified_system ERTL_semantics) …
    34   | ertlptr_pass ⇒
    35      λ_.mk_preclassified_system_pass … (joint_preclassified_system ERTLptr_semantics) …
    3633  | ltl_pass ⇒
    3734     λ_.mk_preclassified_system_pass … (joint_preclassified_system LTL_semantics) …
Note: See TracChangeset for help on using the changeset viewer.