Changeset 3565 for LTS/stack.ma


Ignore:
Timestamp:
Jun 16, 2015, 7:13:10 PM (4 years ago)
Author:
piccolo
Message:
 
File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/stack.ma

    r3562 r3565  
    105105                 push s n
    106106| push_const n ⇒ push s n
    107 | push_plus ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (val1 + val2)
    108 | push_minus ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (val1 - val2)
    109 | push_eq ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (if eqb val1 val2 then 1 else O)
     107| push_plus ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (val2 + val1)
     108| push_minus ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (val2 - val1)
     109| push_eq ⇒ ! 〈val1,st1〉 ← pop s; ! 〈val2,st2〉 ← pop st1; push st2 (if eqb val2 val1 then 1 else O)
    110110| push_not ⇒ ! 〈val1,st1〉 ← pop s;push st1 (1-val1)
    111111].
Note: See TracChangeset for help on using the changeset viewer.