Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (9 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/utilities/miscPottier.mli

    r619 r740  
    11
    2 (** This module provides some additional functions on lists. *)
     2(** This module provides some additional functions on lists or arithmetics. *)
     3
     4val max_list : 'a list -> 'a
     5
     6val pow : int -> int -> int
    37
    48val make: 'a -> int -> 'a list
    59
    610val index_of : 'a -> 'a list -> int
     11
     12val foldi_until : int -> (int -> 'a -> 'b -> 'a) -> 'a -> 'b list -> 'a
    713
    814val foldi : (int -> 'a -> 'b -> 'a) -> 'a -> 'b list -> 'a
Note: See TracChangeset for help on using the changeset viewer.