neilconway / overlog-paxos
A clean implementation of the Paxos consensus protocol in Overlog, a language for distributed computing.
$ hg clone http://bitbucket.org/neilconway/overlog-paxos/
Changesets
| commit 27: | 7895c7c0deba |
| parent 26: | d9c9e6e60ee9 |
comment cleanup
src/olg/core/prepare.olg@r27:7895c7c0deba →
Peter Alvaro
— about 5 months ago
2 changed, 0 added, 0 deleted.
| commit 26: | d9c9e6e60ee9 |
| parent 25: | 130c49fc932f |
joe's observed fix
src/olg/core/prepare.olg@r26:d9c9e6e60ee9 →
ro...@domU-12-31-39-00-C5-42.compute-1.internal
— about 5 months ago
1 changed, 0 added, 0 deleted.
| commit 25: | 130c49fc932f |
| parent 24: | 0a66742d2525 |
cleanup, chattier declarations
src/olg/core/prepare.olg@r25:130c49fc932f →
Peter Alvaro
— about 5 months ago
5 changed, 0 added, 0 deleted.
| commit 24: | 0a66742d2525 |
| parent 23: | d69222775d5a |
segregation of core
src/olg/core/prepare.olg@r24:0a66742d2525 →
Peter Alvaro
— about 6 months ago
1 changed, 10 added, 0 deleted.
