Code

Adding an abstract consensus spec#6438

Code

Merged

achamayou merged 24 commits intomainmicrosoft/CCF:mainfrom abs-tlamicrosoft/CCF:abs-tlaCopy head branch name to clipboardSep 9, 2024

+112

Commits

Commits on Aug 13, 2024

• adding abs consensus spec

  heidihoward

  committed
  d8c21ad

• patch to copy

  heidihoward

  committed
  8926f9e

• typo fix

  heidihoward

  committed
  3a01fa1

• with some model checking

  heidihoward

  committed
  ed05e0e

• Merge branch 'main' into abs-tla

  heidihoward

  authored
  b2ffd52

• forgot bootstrapping in max log length calculation

  heidihoward

  committed
  92b50bb

• Merge branch 'main' into abs-tla

  heidihoward

  authored
  6d2f62e

Commits on Aug 14, 2024

• adding abs to mc ci

  heidihoward

  committed
  1135e8c

• refactor to make initial logs clearer

  heidihoward

  committed
  84d8d7b

• ci fix

  heidihoward

  committed
  50a07e5

Commits on Aug 15, 2024

• some documentation

  heidihoward

  committed
  35d7d94

Commits on Sep 2, 2024

• atomically inspect

  heidihoward

  committed
  1d131f6

• moving typeOk

  heidihoward

  committed
  6dbe828

• Merge branch 'main' into abs-tla

  heidihoward

  authored
  9a3d180

• if the node's log is not the longest

  heidihoward

  committed
  a696ad5

• CLog @'s

  heidihoward

  committed
  e9c2fe0

• comment on +4

  heidihoward

  committed
  cf707d2

• upping MC state space

  heidihoward

  committed
  4f7f5a9

• removing StartTerm

  heidihoward

  committed
  6af5820

Commits on Sep 4, 2024

• Merge branch 'main' into abs-tla

  lemmy

  authored
  fcdcbaa

Commits on Sep 6, 2024

• Merge branch 'main' into abs-tla

  lemmy

  authored
  0ba3fe6

Commits on Sep 9, 2024

• lowercase variable name

  heidihoward

  committed
  2ab3dfe

• conceptual state contraint for extend action

  heidihoward

  committed
  8931e18

• find replace fail

  heidihoward

  committed
  d94cc79