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.6.0
    ~amd64 ~x86
    +ocamlopt test

    View      Download      Browse     License: ISC   
    Overlay: nest

ChangeLog

commit 4d73c4cd3f109efe48e0484f06ae8ca72c859711
Author: Vladimir Pavljuchenkov <spiderx@spiderx.dp.ua>
Date: Sun Oct 11 00:39:21 2026 +0300

fix(dev-ml/dscheck): version bump to 0.6.0, drop old

commit 4ab1bfe984d1aac69a2cf1e4ac386a0e5313fdf7
Author: Vladimir Pavljuchenkov <spiderx@spiderx.dp.ua>
Date: Sat May 16 19:27:36 2026 +0300

style(dev-ml/dscheck): update header

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

feat(dev-ml/dscheck): new ebuild