pds-reachability 0.2.2

Libraries

This package provides the following libraries (via dune):

pds-reachability

Documentation:

• Pds_reachability This module is meant to test reachability in a push-down system which accepts by empty stack.
• Pds_reachability_analysis This module defines the actual PDS reachability analysis.
• Pds_reachability_basis
• Pds_reachability_structure
• Pds_reachability_types
• Pds_reachability_types_stack
• Pds_reachability_utils This module contains some convenient definitions used throughout the rest of this library.
• Pds_reachability_work
• Pds_reachability_work_collection
• Pds_reachability_work_collection_templates

Dependencies: batteries, jhupllib, ocaml-monadic, ppx_deriving_yojson, yojson, ppx_deriving.runtime, ppx_deriving_yojson.runtime