Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 8, 2018

• Add DiscardJoinVotes

  DaveCTurner

  committed
  54924a5

  Copy full SHA for 54924a5

• Add clearTransientState action

  Show description for be94c46
  DaveCTurner

  committed
  be94c46

  Copy full SHA for be94c46

Commits on Dec 20, 2017

• Rename lastAcceptedTermInSlot to lastAcceptedTerm

  DaveCTurner

  committed
  81c381f

  Copy full SHA for 81c381f

Commits on Dec 12, 2017

• Set publishPermitted to true on catchup (#23)

  Show description for 93fc0d5
  DaveCTurner

  authored
  93fc0d5

  Copy full SHA for 93fc0d5

• Remove lastAcceptedSlot (#21)

  Show description for 6aa2527
  DaveCTurner

  authored
  6aa2527

  Copy full SHA for 6aa2527

• Eliminate electionValueForced flag (#19)

  Show description for 88a6aba
  DaveCTurner

  authored
  88a6aba

  Copy full SHA for 88a6aba

Commits on Dec 4, 2017

• Introduce TermOption type with linear order

  DaveCTurner

  committed
  f43c849

  Copy full SHA for f43c849

Commits on Nov 30, 2017

• Rename JoinRequest to Vote

  DaveCTurner

  committed
  a8c371a

  Copy full SHA for a8c371a

Commits on Nov 29, 2017

• Realign Isabelle model with implementation (#18)

  DaveCTurner

  authored
  572bd15

  Copy full SHA for 572bd15

Commits on Nov 28, 2017

• Support exceptions in monadic implementation (#17)

  DaveCTurner

  authored
  f51c2b3

  Copy full SHA for f51c2b3

• Group lastAccepted{Slot,Term,Value} into one object that's either present or not (#16)

  DaveCTurner

  authored
  04fb86a

  Copy full SHA for 04fb86a

Commits on Nov 27, 2017

• cluster/isabelle: Add lastAcceptedSlot field (#14)

  Show description for c8c17a7
  DaveCTurner

  authored
  c8c17a7

  Copy full SHA for c8c17a7

Commits on Nov 24, 2017

• LocalMessage (#13)

  DaveCTurner

  authored
  a58c86c

  Copy full SHA for a58c86c

• Nicer proofs (#12)

  DaveCTurner

  authored
  ea1192c

  Copy full SHA for ea1192c

• Add Isabelle model of the ClusterState consensus algorithm (#10)

  DaveCTurner

  authored
  3bf643f

  Copy full SHA for 3bf643f

Loading