gpo.zugaina.org

Search Portage & Overlays:

dev-ml/dscheck

Experimental model checker for testing concurrent algorithms

Screenshots

  • dscheck-9999
    +ocamlopt test

    View      Download      Browse     License: ISC   
    Overlay: nest
  • dscheck-0.5.0
    ~amd64 ~x86
    +ocamlopt test

    View      Download      Browse     License: ISC   
    Overlay: nest

Runtime Dependencies

dscheck-9999


dev-ml/cmdliner:0=[ocamlopt?
]

dev-ml/containers:0=[ocamlopt?
]

dev-ml/oseq:0=[ocamlopt?
]

dev-ml/seq[ocamlopt?
]

dev-ml/tsort:0=[ocamlopt?
]

dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=

dscheck-0.5.0

>=dev-lang/ocaml-5:0=

dev-ml/cmdliner:0=[ocamlopt?
]

dev-ml/containers:0=[ocamlopt?
]

dev-ml/oseq:0=[ocamlopt?
]

dev-ml/seq[ocamlopt?
]

dev-ml/tsort:0=[ocamlopt?
]

dev-lang/ocaml:=[ocamlopt?
]
dev-ml/dune:=