dev-ml/dscheck
Experimental model checker for testing concurrent algorithms
Screenshots
View
Download
BrowseChangeLog
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
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