Description:
Formal specifications
Last Change:
Clone URL:
ssh://bronevichok.ru/specs.git

Commit Briefs

8484b52180 Sergey Bronnikov

spin: initial version of 2pc model (master, origin/master)

diff | patch | tree

Branches

master
summary | commit briefs | commits

Tags

This repository contains no tags

Tree

spin/