package bap-primus-greedy-scheduler

  1. Overview
  2. Docs
Evaluates all machines in the DFS order

Install 

dune-project
 Dependency

github.com Edit opam file Versions (4)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

doc/bap-plugin-primus_greedy/Primus_greedy_main/Config/index.html

Module Primus_greedy_main.Config

val version : string
val datadir : string
val libdir : string
val confdir : string
type 'a param
type !'a parser = string -> [ `Error of string | `Ok of 'a ]
type 'a converter
val converter : 'a parser -> (Format.formatter -> 'a -> unit) -> 'a -> 'a converter
val deprecated : string
val param : 'a converter -> ?deprecated:string -> ?default:'a -> ?as_flag:'a -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> 'a param
val param_all : 'a converter -> ?deprecated:string -> ?default:'a list -> ?as_flag:'a -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> 'a list param
val flag : ?deprecated:string -> ?docv:string -> ?doc:string -> ?synonyms:string list -> string -> bool param
val determined : 'a param -> 'a Bap_future.Std.future
type reader = {
  1. get : 'a. 'a param -> 'a;
}
val when_ready : (reader -> unit) -> unit
type manpage_block = [
  1. | `I of string * string
  2. | `Noblank
  3. | `P of string
  4. | `Pre of string
  5. | `S of string
]
val manpage : manpage_block list -> unit
val bool : bool converter
val char : char converter
val int : int converter
val nativeint : nativeint converter
val int32 : int32 converter
val int64 : int64 converter
val float : float converter
val string : string converter
val enum : (string * 'a) list -> 'a converter
val doc_enum : ?quoted:bool -> (string * 'a) list -> string
val file : string converter
val dir : string converter
val non_dir_file : string converter
val list : ?sep:char -> 'a converter -> 'a list converter
val array : ?sep:char -> 'a converter -> 'a array converter
val pair : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter
val t2 : ?sep:char -> 'a converter -> 'b converter -> ('a * 'b) converter
val t3 : ?sep:char -> 'a converter -> 'b converter -> 'c converter -> ('a * 'b * 'c) converter
val t4 : ?sep:char -> 'a converter -> 'b converter -> 'c converter -> 'd converter -> ('a * 'b * 'c * 'd) converter
val some : ?none:string -> 'a converter -> 'a option converter