package diffast-langs-verilog

  1. Overview
  2. Docs
Verilog parser plugin for Diff/AST

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (5)

Authors

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Maintainers

  1. C
    Codinuum <codinuum@me.com>
  2. M
    Masatomo Hashimoto <m.hashimoto@stair.center>

Sources

v0.4.tar.gz
sha256=f58dc5326c1698e22b84e3b808e6008228071f5796cda65433106e0d42c0dad5
sha512=8e451ab99433ef479c7d3aa0396bab6650894a2c3282e72cc65014d61f59dde578020d4bc9d423045e66d1d4592b58e877d7bd830788aeb96e5fa4ba534b4b78

doc/diffast-langs-verilog.base/Verilog_base/V_lib_base/Fact/index.html

Module V_lib_base.FactSource

module FB : sig ... end
Sourceval p_in_statement : Diffast_core.Triple.node
Sourceval node_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> bool
Sourceval node_pair_filter : < fact_restricted_flag : bool.. > -> < data : < _label : Obj.t.. >.. > -> < data : < _label : Obj.t.. >.. > -> bool
Sourceclass extractor : < fact_algo : Diffast_core.Triple.Xhash.algo ; fact_compress_flag : bool ; fact_compression : Diffast_core.Triple.C.c ; fact_enc : Diffast_core.Entity.encoding ; fact_for_ast_flag : bool ; fact_into_directory : string ; fact_into_virtuoso : string ; fact_proj : string ; fact_restricted_flag : bool ; fact_size_threshold : int ; fact_virtuoso_temp_dir : string ; local_cache_name : string ; verbose_flag : bool.. > -> string -> < encoded_source_digest : string ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t ; proj_root : string ; root : Diffast_core.Spec.node_t ; source_digest : Diffast_core.Triple.Xhash.t ; source_path : string ; version : string ; vkind : Diffast_core.Entity.vkind.. > -> object ... end
Sourceval extract : < fact_algo : Diffast_core.Triple.Xhash.algo ; fact_compress_flag : bool ; fact_compression : Diffast_core.Triple.C.c ; fact_enc : Diffast_core.Entity.encoding ; fact_for_ast_flag : bool ; fact_into_directory : string ; fact_into_virtuoso : string ; fact_proj : string ; fact_restricted_flag : bool ; fact_size_threshold : int ; fact_virtuoso_temp_dir : string ; local_cache_name : string ; verbose_flag : bool.. > -> string -> < encoded_source_digest : string ; find_true_parent : Diffast_misc.UID.t -> Diffast_core.Spec.node_t ; proj_root : string ; root : Diffast_core.Spec.node_t ; source_digest : Diffast_core.Triple.Xhash.t ; source_path : string ; version : string ; vkind : Diffast_core.Entity.vkind.. > -> unit