Ignore:
Timestamp:
Oct 25, 2011, 4:11:11 PM (9 years ago)
Author:
ayache
Message:

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

Location:
Deliverables/D2.2/8051/src/utilities
Files:
2 edited

Legend:

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

    r818 r1462  
    99  val compare : t -> t -> int
    1010
    11   module Set : Set.S with type elt = t
     11  module Set : sig
     12    include Set.S with type elt = t
     13    val of_list : elt list -> t
     14    val unionl : t list -> t
     15  end
    1216
    1317  module Map : Map.S with type key = t
     
    2125
    2226  val make_unique : Set.t -> (string -> string)
     27  val make_fresh  : Set.t -> string -> (unit -> string)
    2328
    2429end
  • Deliverables/D2.2/8051/src/utilities/stringTools.ml

    r818 r1462  
    77
    88
    9 module Set = Set.Make (String)
     9module Set = struct
     10  include Set.Make (String)
     11  let of_list l =
     12    let f res e = add e res in
     13    List.fold_left f empty l
     14  let unionl l = List.fold_left union empty l
     15end
    1016
    1117
     
    5056    res in
    5157  unique
     58
     59let make_fresh set prefix =
     60  let fresh_prefix = Gen.fresh_prefix set prefix in
     61  let universe = Gen.new_universe fresh_prefix in
     62  (fun () -> Gen.fresh universe)
Note: See TracChangeset for help on using the changeset viewer.