package why3find

  1. Overview
  2. Docs
A Why3 Package Manager

Install 

dune-project
 Dependency

git.frama-c.com Readme Changelog LGPL-2.1-only License Edit opam file Versions (3)

Authors

  1. L
    Loïc Correnson <loic.correnson@cea.fr>
  2. B
    Benjamin Jorge <benjamin.jorge@cea.fr>

Maintainers

  1. B
    benjamin.jorge@cea.fr
  2. L
    loic.correnson@cea.fr

Sources

why3find-1.3.0.tar.gz
md5=435da830a513fd91ec5411c91126b763
sha512=fd8b04eb16d569c0dc9e5595a40b174d7858121b080c81d459b2f28fb3af1ebc32ef408859d5c1c5f45c61790625c027c2ecfc3d45e597943543de7212bab8d6

doc/why3find.utils/Why3findUtils/Utils/index.html

Module Why3findUtils.UtilsSource

Sourceval mkdirs : string -> unit
Sourceval rmpath : string -> unit
Sourceval copy : src:string -> tgt:string -> unit
Sourceval locate : string -> (string * string) option
Sourceval is_local : root:string -> file:string -> bool
Sourceval chdir : string -> unit
Sourceval absolute : string -> string
Sourceval path : ?root:string -> string -> string

Leave absolute path unchaned. For relative paths, concat to `~root` is provided, otherwize, leave unchanged.

Sourceval load : file:string -> Buffer.t -> unit
Sourceval readfile : file:string -> string
Sourceval writefile : file:string -> string -> unit
Sourceval output_and_close : out_channel -> (out_channel -> unit) -> unit
Sourceval outputfile : file:string -> (out_channel -> unit) -> unit
Sourceval formatfile : file:string -> (Format.formatter -> unit) -> unit
Sourceval input : file:string -> (in_channel -> 'a) -> 'a
Sourceval output : file:string -> (out_channel -> 'a) -> 'a
Sourceval readdir : (string -> unit) -> string -> unit
Sourceval iterpath : ?enter:(string -> unit) -> ?file:(string -> unit) -> ?leave:(string -> unit) -> ?ignored:(string -> bool) -> string -> unit
Sourceval pp_hex : Format.formatter -> string -> unit
Sourceval pp_arg : Format.formatter -> string -> unit
Sourceval pp_args : Format.formatter -> string list -> unit
Sourceval pp_ok : Format.formatter -> unit
Sourceval pp_ko : Format.formatter -> unit
Sourceval pp_mark : Format.formatter -> bool -> unit
Sourceval pp_time : Format.formatter -> float -> unit
Sourceval pp_atime : Format.formatter -> float -> unit
Sourceval pp_rtime : Format.formatter -> float -> unit
Sourceval pp_delta : Format.formatter -> float -> unit
Sourceval pa_time : string -> float
Sourceval pp_s : Format.formatter -> int -> unit
Sourceval pp_yies : Format.formatter -> int -> unit
Sourceval to_string : (Format.formatter -> 'a -> unit) -> 'a -> string
Sourceval round : float -> float
Sourceval show_progress_opt : string * Arg.spec * string
Sourceval tty : bool
Sourceval set_ansi_tags : Format.formatter -> unit
Sourceval flush : unit -> unit
Sourceval overflows : unit -> bool
Sourceval progress : ('a, Format.formatter, unit) format -> 'a
Sourceval failwith : ('a, Format.formatter, unit, 'b) format4 -> 'a