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/initialisation.ml

    r2773 r2797  
    157157    Types.sig0 **)
    158158let init_var id r init =
    159   (List.foldr (fun datum os ->
     159  (Util.foldl (fun os datum ->
    160160    let { Types.fst = off; Types.snd = s } = os in
    161161    { Types.fst = (Nat.plus off (Globalenvs.size_init_data datum));
Note: See TracChangeset for help on using the changeset viewer.