| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-05-25 | Add the proof of the guarantee given by the protocol. | thibauth |
| 2011-05-06 | Add line numbers to listings, add caption numbers to listings to allow refere... | thibauth |
| 2011-05-02 | Correct a bunch of mistakes. The seeding phase duration now depends on the ro... | thibauth |
| 2011-04-22 | Peers now store the seeding phase duration | thibauth |
| 2011-04-22 | Hopefully a clean and working (?) version of the protocol. | thibauth |
| 2011-04-21 | Some cleanup in the pacemaker protocol | thibauth |
| 2011-04-11 | semi-fresh start on the pacemaker2 specification | thibauth |
