Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/semanticsUtils.mli

    r2951 r2960  
    422422  sem_lin_params -> Joint.unserialized_params
    423423
    424 val pre_main_id : AST.ident
     424val match_genv_t_rect_Type4 :
     425  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     426  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     427
     428val match_genv_t_rect_Type5 :
     429  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     430  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     431
     432val match_genv_t_rect_Type3 :
     433  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     434  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     435
     436val match_genv_t_rect_Type2 :
     437  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     438  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     439
     440val match_genv_t_rect_Type1 :
     441  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     442  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     443
     444val match_genv_t_rect_Type0 :
     445  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     446  Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
     447
     448val match_genv_t_inv_rect_Type4 :
     449  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     450  Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
     451
     452val match_genv_t_inv_rect_Type3 :
     453  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     454  Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
     455
     456val match_genv_t_inv_rect_Type2 :
     457  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     458  Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
     459
     460val match_genv_t_inv_rect_Type1 :
     461  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     462  Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
     463
     464val match_genv_t_inv_rect_Type0 :
     465  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     466  Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
     467
     468val match_genv_t_discr :
     469  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     470  Globalenvs.genv_t -> __
     471
     472val match_genv_t_jmdiscr :
     473  AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
     474  Globalenvs.genv_t -> __
    425475
    426476val joint_globalenv :
    427   Joint_semantics.sem_params -> Joint.joint_program ->
    428   Joint.joint_closed_internal_function AST.fundef Globalenvs.genv_t
    429 
    430 val match_genv_t_rect_Type4 :
    431   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    432   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    433 
    434 val match_genv_t_rect_Type5 :
    435   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    436   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    437 
    438 val match_genv_t_rect_Type3 :
    439   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    440   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    441 
    442 val match_genv_t_rect_Type2 :
    443   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    444   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    445 
    446 val match_genv_t_rect_Type1 :
    447   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    448   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    449 
    450 val match_genv_t_rect_Type0 :
    451   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    452   Globalenvs.genv_t -> (__ -> __ -> __ -> 'a1) -> 'a1
    453 
    454 val match_genv_t_inv_rect_Type4 :
    455   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    456   Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
    457 
    458 val match_genv_t_inv_rect_Type3 :
    459   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    460   Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
    461 
    462 val match_genv_t_inv_rect_Type2 :
    463   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    464   Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
    465 
    466 val match_genv_t_inv_rect_Type1 :
    467   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    468   Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
    469 
    470 val match_genv_t_inv_rect_Type0 :
    471   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    472   Globalenvs.genv_t -> (__ -> __ -> __ -> __ -> 'a1) -> 'a1
    473 
    474 val match_genv_t_discr :
    475   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    476   Globalenvs.genv_t -> __
    477 
    478 val match_genv_t_jmdiscr :
    479   AST.matching -> AST.ident List.list -> __ Globalenvs.genv_t -> __
    480   Globalenvs.genv_t -> __
    481 
     477  Joint_semantics.sem_params -> Joint.joint_program -> (AST.ident -> Nat.nat
     478  Types.option) -> Joint_semantics.genv
     479
Note: See TracChangeset for help on using the changeset viewer.