Changeset 2797 for extracted/eRTLptr.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/eRTLptr.mli

    r2773 r2797  
    167167val eRTLptr_uns : Joint.unserialized_params
    168168
     169val eRTLptr_functs : Joint.get_pseudo_reg_functs
     170
    169171val eRTLptr : Joint.graph_params
    170172
Note: See TracChangeset for help on using the changeset viewer.