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

    r2773 r2797  
    106106
    107107(** val graph_to_lin_statement :
    108     Joint.unserialized_params -> AST.ident List.list -> 'a1
    109     Identifiers.identifier_map -> Joint.joint_statement ->
    110     Joint.joint_statement **)
     108    Joint.uns_params -> AST.ident List.list -> 'a1 Identifiers.identifier_map
     109    -> Joint.joint_statement -> Joint.joint_statement **)
    111110let graph_to_lin_statement p globals visited = function
    112111| Joint.Sequential (c, nxt) ->
     
    141140
    142141(** val graph_visit :
    143     Joint.unserialized_params -> AST.ident List.list -> __ ->
     142    Joint.uns_params -> AST.ident List.list -> __ ->
    144143    Identifiers.identifier_set -> Nat.nat Identifiers.identifier_map -> __ ->
    145144    Graphs.label List.list -> Nat.nat -> Nat.nat -> Graphs.label ->
     
    275274
    276275(** val linearise_code :
    277     Joint.unserialized_params -> AST.ident List.list -> __ -> Graphs.label
    278     Types.sig0 -> (__, Graphs.label -> Nat.nat Types.option) Types.prod
    279     Types.sig0 **)
     276    Joint.uns_params -> AST.ident List.list -> __ -> Graphs.label Types.sig0
     277    -> (__, Graphs.label -> Nat.nat Types.option) Types.prod Types.sig0 **)
    280278let linearise_code p globals g entry_sig =
    281279  let g0 = branch_compress p globals g entry_sig in
     
    298296
    299297(** val linearise_int_fun :
    300     Joint.unserialized_params -> AST.ident List.list ->
     298    Joint.uns_params -> AST.ident List.list ->
    301299    Joint.joint_closed_internal_function ->
    302300    (Joint.joint_closed_internal_function, Graphs.label -> Nat.nat
     
    319317
    320318(** val linearise :
    321     Joint.unserialized_params -> (Joint.joint_function, Nat.nat) AST.program
    322     -> (Joint.joint_function, Nat.nat) AST.program **)
     319    Joint.uns_params -> (Joint.joint_function, Nat.nat) AST.program ->
     320    (Joint.joint_function, Nat.nat) AST.program **)
    323321let linearise p pr =
    324322  AST.transform_program pr (fun globals ->
Note: See TracChangeset for help on using the changeset viewer.