Changeset 714 for src/LTL/LTL.ma


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

Work on translation from LTL to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r713 r714  
    1414  | LTL_St_Pop: label → LTLStatement globals
    1515  | LTL_St_Push: label → LTLStatement globals
    16   | LTL_St_Address: Identifier → label → LTLStatement globals
     16  | LTL_St_Address: ∀i: Identifier. (member i (eq_bv ?) globals) → Identifier → label → LTLStatement globals
    1717  | LTL_St_FromAcc: Register → label → LTLStatement globals
    1818  | LTL_St_ToAcc: Register → label → LTLStatement globals
Note: See TracChangeset for help on using the changeset viewer.