Ignore:
Timestamp:
Mar 15, 2013, 1:32:50 AM (7 years ago)
Author:
sacerdot
Message:

Pretty printing of object code integrated too.
A couple of axioms make execution via the preclassified_system
raise assert false.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.mli

    r2842 r2875  
    258258| Ltl_pass
    259259| Lin_pass
     260| Assembly_pass
     261| Object_code_pass
    260262
    261263val pass_rect_Type4 :
    262264  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    263   -> 'a1 -> pass -> 'a1
     265  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    264266
    265267val pass_rect_Type5 :
    266268  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    267   -> 'a1 -> pass -> 'a1
     269  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    268270
    269271val pass_rect_Type3 :
    270272  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    271   -> 'a1 -> pass -> 'a1
     273  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    272274
    273275val pass_rect_Type2 :
    274276  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    275   -> 'a1 -> pass -> 'a1
     277  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    276278
    277279val pass_rect_Type1 :
    278280  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    279   -> 'a1 -> pass -> 'a1
     281  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    280282
    281283val pass_rect_Type0 :
    282284  'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1
    283   -> 'a1 -> pass -> 'a1
     285  -> 'a1 -> 'a1 -> 'a1 -> pass -> 'a1
    284286
    285287val pass_inv_rect_Type4 :
    286288  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    287289  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    288   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     290  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    289291
    290292val pass_inv_rect_Type3 :
    291293  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    292294  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    293   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     295  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    294296
    295297val pass_inv_rect_Type2 :
    296298  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    297299  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    298   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     300  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    299301
    300302val pass_inv_rect_Type1 :
    301303  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    302304  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    303   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     305  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    304306
    305307val pass_inv_rect_Type0 :
    306308  pass -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    307309  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ ->
    308   'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
     310  'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
    309311
    310312val pass_discr : pass -> pass -> __
     
    353355
    354356val assembler :
    355   ASM.pseudo_assembly_program -> ASM.labelled_object_code Errors.res
     357  observe_pass -> ASM.pseudo_assembly_program -> ASM.labelled_object_code
     358  Errors.res
    356359
    357360open AbstractStatus
Note: See TracChangeset for help on using the changeset viewer.