Code

Swapping nextIndex for sentIndex#5897

Code

Merged

heidihoward merged 9 commits intomainmicrosoft/CCF:mainfrom tla-off-by-onemicrosoft/CCF:tla-off-by-oneCopy head branch name to clipboardJan 9, 2024

+29-28

Commits

Commits on Jan 8, 2024

• nextIndex to sentIndex

  heidihoward

  committed
  76dfd44

  Copy full SHA for 76dfd44

• Merge branch 'main' into tla-off-by-one

  heidihoward

  authored
  907888c

  Copy full SHA for 907888c

• forgot to remove MatchIndexLowerBoundNextIndexInv

  heidihoward

  committed
  917f206

  Copy full SHA for 917f206

• messy merge

  heidihoward

  committed
  114acae

  Copy full SHA for 114acae

• Merge branch 'main' into tla-off-by-one

  heidihoward

  authored
  1003ab4

  Copy full SHA for 1003ab4

Commits on Jan 9, 2024

• Merge branch 'main' into tla-off-by-one

  heidihoward

  authored
  feb9d68

  Copy full SHA for feb9d68

• missing increment in AppendEntriesBatchsize

  heidihoward

  committed
  ed6a9a2

  Copy full SHA for ed6a9a2

• bonus comment

  heidihoward

  committed
  33f611d

  Copy full SHA for 33f611d

• Merge branch 'main' into tla-off-by-one

  heidihoward

  authored
  3b72e44

  Copy full SHA for 3b72e44