Changeset 716 for src/LTL/LTL.ma


Ignore:
Timestamp:
Mar 29, 2011, 2:29:12 PM (9 years ago)
Author:
mulligan
Message:

Finished translating LTL statements to LIN statements. Need to implement graph functions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r714 r716  
    2020  | LTL_St_Op1: Op1 → label → LTLStatement globals
    2121  | LTL_St_Op2: Op2 → Register → label → LTLStatement globals
    22   | LTL_ClearCarry: label → LTLStatement globals
     22  | LTL_St_ClearCarry: label → LTLStatement globals
    2323  | LTL_St_Load: label → LTLStatement globals
    2424  | LTL_St_Store: label → LTLStatement globals
Note: See TracChangeset for help on using the changeset viewer.