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

ChangeLog

commit 890e9ef261a5444aa64695ed51e4a4faf825e047
Author: Vladimir Pavljuchenkov <spiderx@spiderx.dp.ua>
Date: Wed Dec 17 02:33:07 2025 +0200

feat(dev-ml/dscheck): new ebuild