Skip to content

GitLab

Explore

Sign in
Register

R

relacy

Project information

meticulous synchronization algorithm verifier for relaxed memory models

18 Commits
3 Branches
3 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG

Created on

July 20, 2020

Copy SSH clone URL[email protected]:med-team/relacy.git
Copy HTTPS clone URLhttps://salsa.debian.org/med-team/relacy.git

Loading