Ignore:
Timestamp:
Oct 25, 2012, 4:36:07 PM (8 years ago)
Author:
boender
Message:
  • reverted changes to StructuredTraces? (shouldn't have been committed yet)
  • updated _jaap files to remove function identifier from cl_call and add an as_call predicate
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint_jaap.ma

    r2398 r2417  
    175175  [ step_seq s ⇒
    176176    match s with
    177     [ CALL_ID l _ _ ⇒    cl_call l
    178     | extension_call _ ⇒ cl_call ? (* pointer stuff not yet implemented, it seems *)
     177    [ CALL_ID _ _ _ ⇒    cl_call
     178    | extension_call _ ⇒ cl_call
    179179    | _ ⇒ cl_other
    180180    ]
    181181  | COND _ _ ⇒ cl_jump
    182182  ].
    183  cases daemon
    184 qed.
    185183
    186184record stmt_params : Type[1] ≝
Note: See TracChangeset for help on using the changeset viewer.