Ignore:
Timestamp:
Feb 17, 2012, 11:52:36 AM (8 years ago)
Author:
mulligan
Message:

Changes to the execution of the MOVC instruction

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/common/StructuredTraces.ma

    r1658 r1709  
    77| cl_jump   : status_class
    88| cl_call   : status_class
    9 | cl_other : status_class
    10 .
     9| cl_other : status_class.
    1110
    1211record abstract_status : Type[1] ≝ {
Note: See TracChangeset for help on using the changeset viewer.