Description:
Formal specifications
Last Change:
Clone URL:
Commit Briefs
 Sergey Bronnikov 
spin: initial version of 2pc model (master)
diff | patch | tree
Branches
master
summary | commit briefs | commits
Tags
This repository contains no tags
Tree
spin/