Opam Package pds-reachability.0.2.2

Package info

opam-namepds-reachability
opam-version0.2.2
synopsisA PDS reachability query library
descriptionThis library performs efficient reachability queries on abstractly specified push-down systems.
authors
  • JHU PL Lab <pl.cs@jhu.edu>
homepagehttps://github.com/JHU-PL-Lab/pds-reachability
licenseApache-1.0+
readme-fileREADME.md
deps (12)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

pds-reachability

Package files

lib/pds-reachability/pds_reachability_work_collection_templates.ml
lib/pds-reachability/pds_reachability_work_collection_templates.cmx
lib/pds-reachability/pds_reachability_work_collection_templates.cmt
lib/pds-reachability/pds_reachability_work_collection_templates.cmi
lib/pds-reachability/pds_reachability_work_collection.ml
lib/pds-reachability/pds_reachability_work_collection.cmx
lib/pds-reachability/pds_reachability_work_collection.cmt
lib/pds-reachability/pds_reachability_work_collection.cmi
lib/pds-reachability/pds_reachability_work.ml
lib/pds-reachability/pds_reachability_work.cmx
lib/pds-reachability/pds_reachability_work.cmt
lib/pds-reachability/pds_reachability_work.cmi
lib/pds-reachability/pds_reachability_utils.ml
lib/pds-reachability/pds_reachability_utils.cmx
lib/pds-reachability/pds_reachability_utils.cmt
lib/pds-reachability/pds_reachability_utils.cmi
lib/pds-reachability/pds_reachability_types_stack.ml
lib/pds-reachability/pds_reachability_types_stack.cmx
lib/pds-reachability/pds_reachability_types_stack.cmt
lib/pds-reachability/pds_reachability_types_stack.cmi
lib/pds-reachability/pds_reachability_types.ml
lib/pds-reachability/pds_reachability_types.cmx
lib/pds-reachability/pds_reachability_types.cmt
lib/pds-reachability/pds_reachability_types.cmi
lib/pds-reachability/pds_reachability_structure.ml
lib/pds-reachability/pds_reachability_structure.cmx
lib/pds-reachability/pds_reachability_structure.cmt
lib/pds-reachability/pds_reachability_structure.cmi
lib/pds-reachability/pds_reachability_basis.ml
lib/pds-reachability/pds_reachability_basis.cmx
lib/pds-reachability/pds_reachability_basis.cmt
lib/pds-reachability/pds_reachability_basis.cmi
lib/pds-reachability/pds_reachability_analysis.ml
lib/pds-reachability/pds_reachability_analysis.cmx
lib/pds-reachability/pds_reachability_analysis.cmt
lib/pds-reachability/pds_reachability_analysis.cmi
lib/pds-reachability/pds_reachability.ml
lib/pds-reachability/pds_reachability.cmxs
lib/pds-reachability/pds_reachability.cmxa
lib/pds-reachability/pds_reachability.cmx
lib/pds-reachability/pds_reachability.cmt
lib/pds-reachability/pds_reachability.cmi
lib/pds-reachability/pds_reachability.cma
lib/pds-reachability/pds_reachability.a
lib/pds-reachability/opam
lib/pds-reachability/dune-package
lib/pds-reachability/META
lib/pds-reachability
doc/pds-reachability/README.md
doc/pds-reachability