Changeset 2743 for extracted/liveness.ml


Ignore:
Timestamp:
Feb 27, 2013, 9:27:58 PM (8 years ago)
Author:
sacerdot
Message:

Latest version of the compiler, extracted with the latest version of Matita.
Some files still need some manual patching to avoid an extraction bug
(see PROBLEMS file).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/liveness.ml

    r2730 r2743  
    221221| Joint.FCOND (x, x0, x1) -> assert false (* absurd case *)
    222222
    223 (** val ret_regs : I8051.register Set_adt.set0 **)
     223(** val ret_regs : I8051.register Set_adt.set **)
    224224let ret_regs =
    225225  Set_adt.set_from_list I8051.registerRets
     
    232232(** val used :
    233233    AST.ident List.list -> Joint.joint_statement -> (Registers.register
    234     Set_adt.set0, I8051.register Set_adt.set0) Types.prod **)
     234    Set_adt.set, I8051.register Set_adt.set) Types.prod **)
    235235let used globals = function
    236236| Joint.Sequential (seq, l) ->
Note: See TracChangeset for help on using the changeset viewer.