* Initial structure for the documentation of Baker 3
* Added the examples module and started working on the design a recipe section
* continued work on documentation
* More work on documentation
* Worked on the documentation
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* documentation work
* example work
* Documentation work
* Example app work
* Example app work
* Example web app done in Scala
* Documentation work
* Gatling setup
* Work on example app metrics
* Grafana setup
* Loadtesting mods
* Documentation work
* Example app memory dump work
* Load testing work
* proof read
* created initial version of the SplitBrainResolver algorithm TLA specification
* SBR algorithm from the first node's perspective
* added a README file and changed the Initial state
* run the same algorithm from 2 to N nr of members
* small refactorings on readability and debugging
* deleted unnecessary project files from github
* added the gitignore file again
* renamed the first specification as V1
* Start of the cluster specification
* Combine invariants of the nodes for the cluster
* refactored Cluster spec to support given number of Nodes (needs fix)
* refactored the cluster view and node view specs
* start to model the real algorithm in PlusCal
* added all possible states
* modelled receive unreachable/up messages and also acting on the sbr decision. need to fix the unlimited number of states problem still.
* small changes but still non ending model checking due to state space explosion
* cluster v3 defined with a terminating algorithm
* V3: leader is not a global variable but a local to nodes. Each node has a perspective of who the leader is.
* created ClusterV4 with only 3 processes for 3 nodes.
* ClusterV4 is done.
* using symettic model values, which redices the number of states generated
* simplified the algorithm, and added NoSplitBrain invariant which holds for all states
* fixed the ClusterV4 model invariants config in the Toolbox so it fails now.
* small improvements only
* ClusterV5 with smarter state space generation, and improvements in the algorithm
* ClusterV6 with temporal property
* small cleanup on V6
* multi-jvm test setup and initial sbr classes/actors created. multi-jvm tests are inspired from https://github.com/TanUkkii007/akka-cluster-custom-downing library.
* small refactoring, still having failing tests.
* using cluster.down instead of cluster.leave fixes the tests
* another test setup added using the mocked (puppet) failure detector
* multi-jvm tests with the real network split between nodes
* Test that the node with smallest unique address survives a equal split
* Refactor the split brain resolver
* Add test to proof that hickups can mess with the decision
* Add hick up test
* use the puppet failure detector in the HickUp test. Small code improvements.
* moved all split brain resolver code and tests from runtime into its own module.
* moved all tls files from root to split-brain-resolver module
* removed other third party split-brain-resolver dependency.
* small refactoring on log messages
* renamed down-removal-margin config to stable-after and added documentation.
* Fix english
* fixed review comments
