Changeset 2797 for extracted/rTL.mli


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/rTL.mli

    r2773 r2797  
    147147val rTL_uns : Joint.unserialized_params
    148148
     149val rTL_functs : Joint.get_pseudo_reg_functs
     150
    149151val rTL : Joint.graph_params
    150152
Note: See TracChangeset for help on using the changeset viewer.