package pds-reachability

  1. Overview
  2. Docs
A PDS reachability query library.

Install 

dune-project
 Dependency

github.com Edit opam file Versions (4)

Authors

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Maintainers

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Sources

66ee9322ef9c4a474e607831cf9c6fea7c586811.zip
sha256=4cdaed4e2f0f1f008552d3125b95880799be70cc18d0a7ff00da78f9c10e19de
md5=66d2fb3dbbcd2fca866cc7ecaecc7a0b

Description

This library performs efficient reachability queries on abstractly specified push-down systems.

Published: 09 Aug 2016

Dependencies (11)

  1. yojson < "2.0.0"
  2. ppx_deriving_yojson
  3. ppx_deriving >= "3.2"
  4. ounit build & >= "2.2.0"
  5. ocamlfind build
  6. ocamlbuild build
  7. oasis build & >= "0.4"
  8. jhupllib
  9. batteries >= "2.4.0"
  10. base-threads
  11. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None