neilconway / overlog-paxos

A clean implementation of the Paxos consensus protocol in Overlog, a language for distributed computing.

Changesets

2009-10-08
commit 27: 7895c7c0deba
parent 26: d9c9e6e60ee9
0 2 0

comment cleanup default

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
0 1 0

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
0 5 0

cleanup, chattier declarations

src/olg/core/prepare.olg@r25:130c49fc932f →

Peter Alvaro — about 5 months ago
5 changed, 0 added, 0 deleted.

2009-10-07
commit 24: 0a66742d2525
parent 23: d69222775d5a
10 1 10

segregation of core

src/olg/core/prepare.olg@r24:0a66742d2525 →

Peter Alvaro — about 6 months ago
1 changed, 10 added, 0 deleted.