Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 17, 2022

• Violin plot for RabbitMQ

  Vanlightly

  committed
  eddff6d

  Copy full SHA for eddff6d

Commits on Sep 10, 2022

• Replaced RunRand hack with behaviour id

  Vanlightly

  committed
  3560f29

  Copy full SHA for 3560f29

• SWIM stats

  Vanlightly

  committed
  2c24543

  Copy full SHA for 2c24543

• Finalised RabbitMQ work

  Vanlightly

  committed
  a4c4c3f

  Copy full SHA for a4c4c3f

Commits on Aug 20, 2022

• Cleaned up config files

  Vanlightly

  committed
  34afd9f

  Copy full SHA for 34afd9f

• New Kafka rebalancing protocol

  Vanlightly

  committed
  edb771f

  Copy full SHA for edb771f

• RabbitMQ balancing use case

  Vanlightly

  committed
  a9359ae

  Copy full SHA for a9359ae

Commits on Aug 14, 2022

• Initial work on RabbitMQ spec for conf

  Vanlightly

  committed
  53a2731

  Copy full SHA for 53a2731

Commits on May 16, 2022

• Add toolbox files to gitignore

  Vanlightly

  committed
  b1f41bc

  Copy full SHA for b1f41bc

• Leader to exclude itself from quorum below fsyncIndex

  Show description for c427ce2
  Vanlightly

  committed
  c427ce2

  Copy full SHA for c427ce2

• Added model checking version of Raft spec

  Show description for 3a42fc0
  Vanlightly

  committed
  3a42fc0

  Copy full SHA for 3a42fc0

Commits on Dec 17, 2021

• Merge pull request #1 from lemmy/master

  Show description for e83dc84
  Vanlightly

  authored
  e83dc84

  Copy full SHA for e83dc84

Commits on Nov 29, 2021

• Merge branch 'Vanlightly:master' into master

  lemmy

  authored
  3421fc4

  Copy full SHA for 3421fc4

Commits on Feb 16, 2021

• Added extra stats for swim

  Vanlightly

  committed
  1492e48

  Copy full SHA for 1492e48

Commits on Nov 10, 2020

• Aggregate the TLCGet(n) values over all TLC workers.

  lemmy

  committed
  d556d6e

  Copy full SHA for d556d6e

Commits on Nov 9, 2020

• Debugging .probabilistic

  lemmy

  committed
  600c0b6

  Copy full SHA for 600c0b6

• Merge branch 'master' of https://github.com/Vanlightly/formal-methods-playground

  lemmy

  committed
  4c0e0ef

  Copy full SHA for 4c0e0ef

• SWIM config template file (missing from last commit)

  Vanlightly

  committed
  cfc0f25

  Copy full SHA for cfc0f25

• Merge branch 'master' of https://github.com/Vanlightly/formal-methods-playground

  lemmy

  committed
  05edea3

  Copy full SHA for 05edea3

• Swim stats generation code

  Vanlightly

  committed
  cf35068

  Copy full SHA for cf35068

• Error: Attempted to apply the operator overridden by the Java method

  Show description for 4b8df1b
  lemmy

  committed
  4b8df1b

  Copy full SHA for 4b8df1b

• More abstract method parameters to prevent:

  Show description for 90621ed
  lemmy

  committed
  90621ed

  Copy full SHA for 90621ed

• Clean up imports.

  lemmy

  committed
  d7761e0

  Copy full SHA for d7761e0

• Add Eclipse Java project metadata to conveniently work on Java module

  Show description for 83fe552
  lemmy

  committed
  83fe552

  Copy full SHA for 83fe552

Commits on Nov 8, 2020

• Added more stats for infectivity and distribution of message receipt

  Vanlightly

  committed
  c9ddf99

  Copy full SHA for c9ddf99

Commits on Oct 27, 2020

• Testing randomness of k subset options

  Vanlightly

  committed
  89caf30

  Copy full SHA for 89caf30

Commits on Oct 26, 2020

• Run multiple dimensional tests

  Vanlightly

  committed
  7b78dfe

  Copy full SHA for 7b78dfe

• Python script to calculate stats from TLC output

  Vanlightly

  committed
  3e72b6e

  Copy full SHA for 3e72b6e

Commits on Sep 23, 2020

• Added non-convergence detection to swim

  Vanlightly

  committed
  ebd6d59

  Copy full SHA for ebd6d59

Commits on Sep 17, 2020

• Removed debugging code

  Vanlightly

  committed
  c7fb53e

  Copy full SHA for c7fb53e

• Replaced some uses of Cardinality with Quantify

  Vanlightly

  committed
  12d5d75

  Copy full SHA for 12d5d75

Commits on Sep 14, 2020

• Removed unused debugging operators

  Vanlightly

  committed
  cf1f148

  Copy full SHA for cf1f148

• Fixed bugs in false propagation of dead states

  Vanlightly

  committed
  36b8639

  Copy full SHA for 36b8639

Commits on Sep 11, 2020

• Fixed multiple bugs related to when all members see false positive dead states

  Vanlightly

  committed
  bb44bcd

  Copy full SHA for bb44bcd

Commits on Sep 7, 2020

• Added nil, alive and dead states as arguments to IsConverged operator

  Vanlightly

  committed
  7d2d239

  Copy full SHA for 7d2d239

Pagination

Previous

Next