dscheck 0.5.0-1

devel-extra
Page content

Description:

Experimental model checker for testing concurrent algorithms

Files:

  • /usr/lib/ocaml/dscheck/atomic_op.ml
  • /usr/lib/ocaml/dscheck/dscheck.a
  • /usr/lib/ocaml/dscheck/dscheck.cma
  • /usr/lib/ocaml/dscheck/dscheck.cmi
  • /usr/lib/ocaml/dscheck/dscheck.cmt
  • /usr/lib/ocaml/dscheck/dscheck.cmx
  • /usr/lib/ocaml/dscheck/dscheck.cmxa
  • /usr/lib/ocaml/dscheck/dscheck.cmxs
  • /usr/lib/ocaml/dscheck/dscheck.ml
  • /usr/lib/ocaml/dscheck/dscheck__Atomic_op.cmi
  • /usr/lib/ocaml/dscheck/dscheck__Atomic_op.cmt
  • /usr/lib/ocaml/dscheck/dscheck__Atomic_op.cmx
  • /usr/lib/ocaml/dscheck/dscheck__TracedAtomic.cmi
  • /usr/lib/ocaml/dscheck/dscheck__TracedAtomic.cmt
  • /usr/lib/ocaml/dscheck/dscheck__TracedAtomic.cmti
  • /usr/lib/ocaml/dscheck/dscheck__TracedAtomic.cmx
  • /usr/lib/ocaml/dscheck/dscheck__Trace_tracker.cmi
  • /usr/lib/ocaml/dscheck/dscheck__Trace_tracker.cmt
  • /usr/lib/ocaml/dscheck/dscheck__Trace_tracker.cmti
  • /usr/lib/ocaml/dscheck/dscheck__Trace_tracker.cmx
  • /usr/lib/ocaml/dscheck/dune-package
  • /usr/lib/ocaml/dscheck/META
  • /usr/lib/ocaml/dscheck/opam
  • /usr/lib/ocaml/dscheck/tracedAtomic.ml
  • /usr/lib/ocaml/dscheck/tracedAtomic.mli
  • /usr/lib/ocaml/dscheck/trace_tracker.ml
  • /usr/lib/ocaml/dscheck/trace_tracker.mli
  • /usr/share/doc/dscheck-0.5.0/dscheck/CHANGES.md
  • /usr/share/doc/dscheck-0.5.0/dscheck/LICENSE.md
  • /usr/share/doc/dscheck-0.5.0/dscheck/README.md
  • /usr/share/doc/dscheck-0.5.0/README.md