Ignore:
Timestamp:
Mar 27, 2013, 4:09:56 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after several bug fixes.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lINToASM.mli

    r2963 r2977  
    134134                      label_map : ASM.identifier Identifiers.identifier_map
    135135                                  Identifiers.identifier_map;
    136                       address_map : BitVector.word Identifiers.identifier_map;
    137                       fresh_cost_label : Positive.pos }
     136                      address_map : BitVector.word Identifiers.identifier_map }
    138137
    139138val aSM_universe_rect_Type4 :
     
    141140  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    142141  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    143   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     142  __ -> 'a1) -> aSM_universe -> 'a1
    144143
    145144val aSM_universe_rect_Type5 :
     
    147146  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    148147  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    149   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     148  __ -> 'a1) -> aSM_universe -> 'a1
    150149
    151150val aSM_universe_rect_Type3 :
     
    153152  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    154153  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    155   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     154  __ -> 'a1) -> aSM_universe -> 'a1
    156155
    157156val aSM_universe_rect_Type2 :
     
    159158  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    160159  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    161   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     160  __ -> 'a1) -> aSM_universe -> 'a1
    162161
    163162val aSM_universe_rect_Type1 :
     
    165164  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    166165  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    167   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     166  __ -> 'a1) -> aSM_universe -> 'a1
    168167
    169168val aSM_universe_rect_Type0 :
     
    171170  Identifiers.identifier_map -> ASM.identifier Identifiers.identifier_map
    172171  Identifiers.identifier_map -> BitVector.word Identifiers.identifier_map ->
    173   __ -> Positive.pos -> 'a1) -> aSM_universe -> 'a1
     172  __ -> 'a1) -> aSM_universe -> 'a1
    174173
    175174val id_univ : AST.ident List.list -> aSM_universe -> Identifiers.universe
     
    189188  Identifiers.identifier_map
    190189
    191 val fresh_cost_label : AST.ident List.list -> aSM_universe -> Positive.pos
    192 
    193190val aSM_universe_inv_rect_Type4 :
    194191  AST.ident List.list -> aSM_universe -> (Identifiers.universe -> AST.ident
    195192  -> ASM.identifier Identifiers.identifier_map -> ASM.identifier
    196193  Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    197   Identifiers.identifier_map -> __ -> Positive.pos -> __ -> 'a1) -> 'a1
     194  Identifiers.identifier_map -> __ -> __ -> 'a1) -> 'a1
    198195
    199196val aSM_universe_inv_rect_Type3 :
     
    201198  -> ASM.identifier Identifiers.identifier_map -> ASM.identifier
    202199  Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    203   Identifiers.identifier_map -> __ -> Positive.pos -> __ -> 'a1) -> 'a1
     200  Identifiers.identifier_map -> __ -> __ -> 'a1) -> 'a1
    204201
    205202val aSM_universe_inv_rect_Type2 :
     
    207204  -> ASM.identifier Identifiers.identifier_map -> ASM.identifier
    208205  Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    209   Identifiers.identifier_map -> __ -> Positive.pos -> __ -> 'a1) -> 'a1
     206  Identifiers.identifier_map -> __ -> __ -> 'a1) -> 'a1
    210207
    211208val aSM_universe_inv_rect_Type1 :
     
    213210  -> ASM.identifier Identifiers.identifier_map -> ASM.identifier
    214211  Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    215   Identifiers.identifier_map -> __ -> Positive.pos -> __ -> 'a1) -> 'a1
     212  Identifiers.identifier_map -> __ -> __ -> 'a1) -> 'a1
    216213
    217214val aSM_universe_inv_rect_Type0 :
     
    219216  -> ASM.identifier Identifiers.identifier_map -> ASM.identifier
    220217  Identifiers.identifier_map Identifiers.identifier_map -> BitVector.word
    221   Identifiers.identifier_map -> __ -> Positive.pos -> __ -> 'a1) -> 'a1
     218  Identifiers.identifier_map -> __ -> __ -> 'a1) -> 'a1
    222219
    223220val aSM_universe_jmdiscr :
    224221  AST.ident List.list -> aSM_universe -> aSM_universe -> __
    225 
    226 val report_cost :
    227   AST.ident List.list -> CostLabel.costlabel -> Types.unit0
    228   Monad.smax_def__o__monad
    229222
    230223val new_ASM_universe : Joint.joint_program -> aSM_universe
Note: See TracChangeset for help on using the changeset viewer.