package rdbg

  1. Overview
  2. Docs
RDBG: a reactive programs debugger

Install 

dune-project
 Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

  1. E
    Erwan Jahier

Maintainers

  1. E
    erwan.jahier@univ-grenoble-alpes.fr

Sources

rdbg.v1.199.0.tgz
md5=da1c08e352dae8155c089823bf490f42
sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352

doc/rdbg/Tagcov/index.html

Module TagcovSource

Sourcetype label = string
Sourcetype uniq_id = string
Sourcetype node_call = label * uniq_id
Sourcetype wire = label
Sourcetype rank = int
Sourcetype port =
  1. | In of int
  2. | Out of int
  3. | Clk
Sourcetype call_graph = link list
Sourcetype clock = string * Data.v
Sourceval call_tbl : call_tbl
Sourceval verbose : bool ref
Sourceval log_file : string
Sourcetype caller_tbl = (node_call, node_call) Hashtbl.t
Sourceval caller_tbl : caller_tbl
Sourceval top : string * string
Sourceval caller : node_call -> node_call
Sourceval caller_update : node_call -> node_call -> unit
Sourcetype tag = int
Sourcemodule Tags : sig ... end
Sourcetype tags = Tags.t
Sourcetype tags_ref =
  1. | Tag of Tags.t
  2. | Ref of node_call * wire
Sourcetype tag_tbl = (node_call * wire, tag) Hashtbl.t
Sourceval tag_cpt : int ref
Sourceval tag_tbl : tag_tbl
Sourceval tags_tbl : tags_tbl
Sourceval make_tag : node_call -> wire -> unit
Sourceval get_tags : node_call -> wire -> node_call * wire * Data.v * tags
Sourceval get_tags_nf : node_call -> wire -> node_call * wire * Data.v * tags
Sourceval make_tag_ref : node_call -> node_call -> wire -> wire -> unit
Sourceval get_tag : node_call -> wire -> tag
Sourceval pack : 'a list -> int -> 'a list list
Sourceval int_list_to_str : int list -> string list
Sourceval tags2str : Tags.t -> string
Sourceval tags_ref2str : tags_ref -> string
Sourceval val_to_string : Data.v -> string
Sourceval d : unit -> unit
Sourceval update_tags : node_call -> wire -> tags -> unit
Sourceval update_val : node_call -> wire -> Data.v -> unit
Sourceexception NoSourceInfo
Sourcetype src_info_select = (string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list
Sourceval cpt : int ref
Sourceval pre_tbl : ((string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list, node_call) Hashtbl.t
Sourceval node_tbl : (string * (string * (int * int) * (int * int) * RdbgEvent.src_info_atom option) list, node_call) Hashtbl.t
Sourceval get_nodecall : RdbgEvent.t -> node_call
Sourceval get_val : RdbgEvent.var -> Data.subst list -> Data.v
Sourceval link2str : (('a * string) * 'b * string) -> string
Sourceval pdf_viewer : string ref
Sourceval get_url : string -> string
Sourceval gen_dot : RdbgEvent.var list -> RdbgEvent.var list -> RdbgEvent.var list -> RdbgEvent.src_info -> node_call -> bool -> bool -> call_graph -> unit
Sourceval clk_stack : clock list ref
Sourceval nc_stack : node_call list ref
Sourceval lk_stack : link list list ref
Sourceval pre_enb : int ref
Sourceval pre_input_tbl : (node_call, link) Hashtbl.t
Sourceval last_arrow_first : bool ref
Sourceval add_tags : node_call -> link list -> tags -> unit
Sourceval boolred_do : int -> int -> node_call -> link list -> link list -> unit
Sourceval propagate_tags_predef : node_call -> node_call -> RdbgEvent.t -> link list -> 'a -> link list -> unit
Sourceval propagate_out_tags : node_call -> node_call -> RdbgEvent.t -> link list -> link list -> clock list -> unit
Sourceval update_tagcov : RdbgEvent.t -> unit
Sourceval nexti : RdbgEvent.t -> int -> RdbgEvent.t
Sourceval dump_call_tbl : unit -> unit
Sourceval gen_all_dot : RdbgEvent.t -> unit
Sourceval gen_one_dot : RdbgEvent.t -> unit
Sourceval init : unit -> unit