diff options
| author | thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-05-25 06:52:09 +0000 |
|---|---|---|
| committer | thibauth <thibauth@30fcff6e-8de6-41c7-acce-77ff6d1dd07b> | 2011-05-25 06:52:09 +0000 |
| commit | 5f6278f6e4dc9ad958ce71d44c472408fe67b4f2 (patch) | |
| tree | 1531b0ce3dcc8645de62eddf19e063964af90ca0 /data | |
| parent | ec748e519b39ccfc2c180a99d1df7f707e0bfb5e (diff) | |
| download | pacemaker-5f6278f6e4dc9ad958ce71d44c472408fe67b4f2.tar.gz | |
Add the proof of the guarantee given by the protocol.
git-svn-id: https://scm.gforge.inria.fr/svn/pacemaker@12 30fcff6e-8de6-41c7-acce-77ff6d1dd07b
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions