UbuntuUpdates.org

Package "relacy-dev"

Name: relacy-dev

Description:

meticulous synchronization algorithm verifier for relaxed memory models

Latest version: 0.0+git20191025.acc09bb-2
Release: oracular (24.10)
Level: base
Repository: universe
Head package: relacy
Homepage: https://github.com/dvyukov/relacy

Links


Download "relacy-dev"


Other versions of "relacy-dev" in Oracular

No other version of this package is available in the Oracular release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates