Gentoo Portage Overlays - dev-ml/dscheck

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-ml/dscheck

Experimental model checker for testing concurrent algorithms

Screenshots

https://github.com/ocaml-multicore/dscheck

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

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs