Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 6, 2019

• MetaData storage specification (#42)

  Show description for ca30663
  

  Andrey Ershov

  authored
  ca30663

  Copy full SHA for ca30663

Commits on Jan 4, 2019

• Allow nonzero initial version (#40)

  Show description for ca26d5c
  DaveCTurner

  authored
  ca26d5c

  Copy full SHA for ca26d5c

Commits on Dec 20, 2018

• Update README (#39)

  Show description for 030f5d0
  ywelsch

  authored
  030f5d0

  Copy full SHA for 030f5d0

Commits on Sep 18, 2018

• Add a comment on handling replication request with higher primary term

  Show description for 95f5ef1
  andrershov

  authored
  95f5ef1

  Copy full SHA for 95f5ef1

Commits on Jul 20, 2018

• Cosmetic changes to ZenWithTerms (#37)

  Show description for 92d32a0
  ywelsch

  authored
  92d32a0

  Copy full SHA for 92d32a0

Commits on Jul 3, 2018

• [ZenWithTerms] Explicit operation to set initial state (#36)

  Show description for 5cfd5ce
  ywelsch

  authored
  5cfd5ce

  Copy full SHA for 5cfd5ce

Commits on Apr 30, 2018

• Add P2b-like invariant (#35)

  Show description for 4b7a1bc
  DaveCTurner

  authored
  4b7a1bc

  Copy full SHA for 4b7a1bc

Commits on Apr 29, 2018

• Invariant linking votes to committed configuration (#34)

  Show description for 3a21f92
  DaveCTurner

  authored
  3a21f92

  Copy full SHA for 3a21f92

Commits on Apr 26, 2018

• Generalize ClientRequest to take term and version as input (#33)

  Show description for 76e0c6d
  ywelsch

  authored
  76e0c6d

  Copy full SHA for 76e0c6d

Commits on Apr 17, 2018

• Only HandlePublishResponse when electionWon (#32)

  Show description for 1a46507
  DaveCTurner

  authored
  1a46507

  Copy full SHA for 1a46507

Commits on Apr 16, 2018

• Update README (#31)

  Show description for 31a9d4f
  DaveCTurner

  authored
  31a9d4f

  Copy full SHA for 31a9d4f

Commits on Apr 5, 2018

• Zen with terms (#30)

  Show description for 6004e82
  ywelsch

  authored
  6004e82

  Copy full SHA for 6004e82

Commits on Mar 28, 2018

• Translate ReplicaEngine model from PlusCal code

  Show description for 4e12262
  DaveCTurner

  committed
  4e12262

  Copy full SHA for 4e12262

• Introduce ReplicaEngine model (#29)

  Show description for 4ac5682
  DaveCTurner

  authored
  4ac5682

  Copy full SHA for 4ac5682

Commits on Jan 29, 2018

• Add Apache License to repository

  ywelsch

  authored
  5e20220

  Copy full SHA for 5e20220

Commits on Jan 9, 2018

• [cluster/tla] Don't remove messages from the message set (#25)

  Show description for 7dbc4f3
  ywelsch

  authored
  7dbc4f3

  Copy full SHA for 7dbc4f3

Commits on Jan 8, 2018

• Add DiscardJoinVotes

  DaveCTurner

  committed
  54924a5

  Copy full SHA for 54924a5

• Add votedFor predicate, simplifying promised

  DaveCTurner

  committed
  ecc00cf

  Copy full SHA for ecc00cf

• 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

• [cluster/tla] Set publishPermitted to true on catchup (#22)

  Show description for f0f2587
  ywelsch

  authored
  f0f2587

  Copy full SHA for f0f2587

• Remove lastAcceptedSlot (#21)

  Show description for 6aa2527
  DaveCTurner

  authored
  6aa2527

  Copy full SHA for 6aa2527

• Revert "cluster/tla: Add lastAcceptedSlot field (#15)"

  Show description for 557ebc9
  ywelsch

  committed
  557ebc9

  Copy full SHA for 557ebc9

• Remove electionValueForced (#20)

  Show description for 031e1ed
  ywelsch

  authored
  031e1ed

  Copy full SHA for 031e1ed

• 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/tla: Add lastAcceptedSlot field (#15)

  Show description for 5eb756b
  ywelsch

  authored
  5eb756b

  Copy full SHA for 5eb756b

• 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

Pagination

Previous

Next