Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2019

• Failure recover

  g83wang

  authored
  def2fb8

  Copy full SHA for def2fb8

Commits on Aug 8, 2019

• errors fixed

  g83wang

  authored
  ba17c70

  Copy full SHA for ba17c70

• Merge branch 'master' of github.com:kmsalem/Carousel-TLA

  howellhou

  committed
  80fcaa2

  Copy full SHA for 80fcaa2

• Added new states, bug fixes

  howellhou

  committed
  e937bbd

  Copy full SHA for e937bbd

• error fixed

  g83wang

  authored
  31e5497

  Copy full SHA for 31e5497

Commits on Aug 7, 2019

• Client - transition style

  g83wang

  authored
  521acb0

  Copy full SHA for 521acb0

• add 2 new states

  howellhou

  committed
  716dc12

  Copy full SHA for 716dc12

Commits on Jul 29, 2019

• can fail a participant

  g83wang

  authored
  67b7d4e

  Copy full SHA for 67b7d4e

• Errors fixed. Verifications modified.

  g83wang

  authored
  37d5b81

  Copy full SHA for 37d5b81

• ltl verifications

  g83wang

  authored
  cab9c5f

  Copy full SHA for cab9c5f

• Change to use a transition model

  howellhou

  committed
  8afa594

  Copy full SHA for 8afa594

• participant involved?

  g83wang

  authored
  2049100

  Copy full SHA for 2049100

Commits on Jul 28, 2019

• global state; prepared removed from client

  g83wang

  authored
  4fc7356

  Copy full SHA for 4fc7356

• Errors fixed

  g83wang

  authored
  5379034

  Copy full SHA for 5379034

Commits on Jul 18, 2019

• States updated and more verfications added

  Show description for 1219ddc
  g83wang

  authored
  1219ddc

  Copy full SHA for 1219ddc

Commits on Jul 12, 2019

• global states and some verifications added

  g83wang

  authored
  1a06ceb

  Copy full SHA for 1a06ceb

• Bug fixes

  howellhou

  committed
  3c68799

  Copy full SHA for 3c68799

Commits on Jul 8, 2019

• States added

  g83wang

  authored
  c34d548

  Copy full SHA for c34d548

• Error fixed. 1 client and 1 coordinator now

  howellhou

  committed
  56c3bf6

  Copy full SHA for 56c3bf6

Commits on Jul 7, 2019

• Merge branch 'master' of github.com:kmsalem/Carousel-TLA

  howellhou

  committed
  9ab91d0

  Copy full SHA for 9ab91d0

• Client and Coordinator will revieve the response now

  howellhou

  committed
  b2d1d13

  Copy full SHA for b2d1d13

• bug fixed

  g83wang

  authored
  1b1edf9

  Copy full SHA for 1b1edf9

Commits on Jun 28, 2019

• Bug fixes

  howellhou

  committed
  5a28269

  Copy full SHA for 5a28269

Commits on Jun 27, 2019

• Add a coordinator

  g83wang

  authored
  2a187cb

  Copy full SHA for 2a187cb

Commits on Jun 24, 2019

• Seperate into 2 different versions. Changes made based on discussion during the metting

  howellhou

  committed
  212873b

  Copy full SHA for 212873b

Commits on Jun 19, 2019

• file for week Jun19

  g83wang

  authored
  46a66b2

  Copy full SHA for 46a66b2

Commits on May 24, 2019

• non-deterministic selection of participants

  Show description for 646899f
  g83wang

  authored
  646899f

  Copy full SHA for 646899f

Commits on Feb 12, 2019

• Added ID reuse, added some invariants to check

  dr-hu

  committed
  a44bb85

  Copy full SHA for a44bb85

Commits on Feb 1, 2019

• Removed procedures from PlusCal specification.

  Show description for f9ceb6a
  dr-hu

  committed
  f9ceb6a

  Copy full SHA for f9ceb6a

Commits on Dec 18, 2018

• Add documentation

  comptesupprime

  committed
  ca19be9

  Copy full SHA for ca19be9

Commits on Nov 30, 2018

• Add while loops to all processes; Still deadlocking

  comptesupprime

  committed
  ce3eebd

  Copy full SHA for ce3eebd

Commits on Nov 21, 2018

• Collapse and refactor procedures; Identify deadlock location; Add server message and move ID processing to client side

  comptesupprime

  committed
  0146824

  Copy full SHA for 0146824

Commits on Nov 12, 2018

• WIP: Add message structure and ID set

  comptesupprime

  committed
  08b4480

  Copy full SHA for 08b4480

Commits on Oct 30, 2018

• Experiment with sending messages to subset of servers

  comptesupprime

  committed
  46148fb

  Copy full SHA for 46148fb

• Add message types and with statement for choosing element from nodes; Add sent and received arrays

  comptesupprime

  committed
  c1a2057

  Copy full SHA for c1a2057

Pagination

Previous

Next