pacemaker - Pacemaker simulator, implementation and master's thesis

Age	Commit message (Expand)	Author
2011-05-27	Added several trace files in data/traces.tar.gz	lefessan
2011-05-27	Number of days was set to the peer degree (copy paste bug)	thibauth
2011-05-27	* Add map.ml and map.mli from Ocaml 3.12	thibauth
2011-05-26	Small changes. End of the protocol.	thibauth
2011-05-25	Beginning of the protocol simulator.	thibauth
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-14	Add a new paper and some reading notes.	thibauth
2011-04-13	Some other related papers	thibauth
2011-04-12	Add some related papers	thibauth
2011-04-11	semi-fresh start on the pacemaker2 specification	thibauth
2011-04-11	Added sources of simulator and emulator	lefessan
2011-04-01	Added previous articles	lefessan