package specpaxos.nopaxos.proto

Get desktop application:
View/edit binary Protocol Buffers messages

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 opnum = 3

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 opnum = 3

• required uint32 replicaidx = 4

• required uint64 view = 1

• required uint64 sessnum = 2

• required uint64 opnum = 3

• required bool isfound = 4

• required bool isgap = 5

• required uint32 replicaidx = 6

• optional Request req = 7

• required uint64 view = 1

• required uint64 sessnum = 2

• required uint64 opnum = 3

• required uint64 view = 1

• required uint64 sessnum = 2

• required uint64 opnum = 3

• required uint64 clientreqid = 4

• required uint32 replicaidx = 5

• optional bytes reply = 6

• required uint64 sessnum = 1

• required uint64 msgnum = 2

• required Request req = 3

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 lastnormalsessnum = 3

• required uint64 lastnormalview = 4

• required uint64 lastop = 5

• repeated uint64 committedgaps = 6

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint32 replicaidx = 3

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 begin = 3

• required uint64 end = 4

• repeated MsgLogEntry entries = 5

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 begin = 3

• required uint64 end = 4

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 syncpoint = 3

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 lastop = 3

• repeated uint64 committedgaps = 4

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 syncpoint = 3

• required uint32 replicaidx = 4

• required uint64 sessnum = 1

• required uint64 view = 2

• required bytes reply = 1

• required UnloggedRequest req = 1

• required uint64 sessnum = 1

• required uint64 view = 2

• required uint64 lastnormalsessnum = 3

• required uint64 lastnormalview = 4

• required uint64 lastop = 5

• repeated uint64 committedgaps = 6

• required uint32 replicaidx = 7

• required uint64 sessnum = 1

• required uint64 view = 2