Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_LTL_LIN.mli

    r2773 r2797  
    236236val ltl_lin_seq_labels : ltl_lin_seq -> Graphs.label List.list
    237237
    238 val lTL_LIN : Joint.unserialized_params
    239 
     238val lTL_LIN_uns : Joint.unserialized_params
     239
     240val lTL_LIN_functs : Joint.get_pseudo_reg_functs
     241
     242val lTL_LIN : Joint.uns_params
     243
Note: See TracChangeset for help on using the changeset viewer.