Code

Next step 1: Add a TLA plus model#64

Code

Open

prozacchiwawa wants to merge 41 commits intomainChia-Network/chia-gaming:mainfrom 20250127-tla-plus-modelChia-Network/chia-gaming:20250127-tla-plus-modelCopy head branch name to clipboard

+831-94

Commits

Commits on Jan 27, 2025

• Add a TLA plus model that describes a way of building potato handler which doesn't find itself deadlocked (for example, nobody has the potato). It can be improved. It doesn't model all error types …

  Show description for 890be58
  prozacchiwawa

  committed
  890be58

  Copy full SHA for 890be58

• Revert unintended

  prozacchiwawa

  committed
  8622b2c

  Copy full SHA for 8622b2c

• Make queue longer, see that we need to signal taking another action in a few places

  prozacchiwawa

  committed
  47f2bef

  Copy full SHA for 47f2bef

Commits on Jan 31, 2025

• Merge branch 'main' into 20250127-tla-plus-model

  prozacchiwawa

  committed
  30d8cee

  Copy full SHA for 30d8cee

• Merge branch 'main' into active

  prozacchiwawa

  authored
  0455efe

  Copy full SHA for 0455efe

• Merge remote-tracking branch 'origin/active' into 20250127-tla-plus-model

  prozacchiwawa

  committed
  d5110b6

  Copy full SHA for d5110b6

• ci update for python verison

  prozacchiwawa

  committed
  c86ba2e

  Copy full SHA for c86ba2e

• Revert "ci update for python verison"

  Show description for 8448f9d
  prozacchiwawa

  committed
  8448f9d

  Copy full SHA for 8448f9d

Commits on Feb 3, 2025

• We should only iterate from send potato request if necessary if we have the potato

  prozacchiwawa

  committed
  28c9791

  Copy full SHA for 28c9791

• Remove some redundant code

  prozacchiwawa

  committed
  c252209

  Copy full SHA for c252209

Commits on Feb 4, 2025

• Add incoming_messages, which i needed in the model to solve an order dependency

  prozacchiwawa

  committed
  a6e56b2

  Copy full SHA for a6e56b2

Commits on Feb 5, 2025

• Make starting games a queued operation

  prozacchiwawa

  committed
  fd6069e

  Copy full SHA for fd6069e

• Turn individual checks for potato present into send_potato_request_if_needed as in the model

  prozacchiwawa

  committed
  92e1744

  Copy full SHA for 92e1744

• Ensure incoming messages are ordered with handshakes first. A few more steps needed.

  prozacchiwawa

  committed
  111f937

  Copy full SHA for 111f937

• More compact

  prozacchiwawa

  committed
  cd8d691

  Copy full SHA for cd8d691

• Make send potato a queueable action

  prozacchiwawa

  committed
  8968104

  Copy full SHA for 8968104

• fmt

  prozacchiwawa

  committed
  9c75b91

  Copy full SHA for 9c75b91

• clippy

  prozacchiwawa

  committed
  7182958

  Copy full SHA for 7182958

• clippy

  prozacchiwawa

  committed
  68f54af

  Copy full SHA for 68f54af

• Don't enqueue send potato if we don't have it, and therefore don't request potato just to send it

  prozacchiwawa

  committed
  fc16e66

  Copy full SHA for fc16e66

• Converged potato handler and tla+ model (i think)

  prozacchiwawa

  committed
  fc3a812

  Copy full SHA for fc3a812

• fmt

  prozacchiwawa

  committed
  90e1377

  Copy full SHA for 90e1377

Commits on Feb 6, 2025

• Change initial mover share from even to 0 in factory

  prozacchiwawa

  committed
  04bdd07

  Copy full SHA for 04bdd07

• Change indents

  prozacchiwawa

  committed
  4413239

  Copy full SHA for 4413239

• Move gameid and timeout to the end and make them optional in game start serialization

  prozacchiwawa

  committed
  19fd4f6

  Copy full SHA for 19fd4f6

Commits on Feb 7, 2025

• Pass down i_initiated, change amount to my and their contribution in game factory call.

  prozacchiwawa

  committed
  72fb866

  Copy full SHA for 72fb866

• fmt

  prozacchiwawa

  committed
  54bb602

  Copy full SHA for 54bb602

• clippy

  prozacchiwawa

  committed
  ae0ace6

  Copy full SHA for ae0ace6

Commits on Feb 8, 2025

• Merge branch '20250109-final-todo' into 20250127-tla-plus-model

  prozacchiwawa

  committed
  19e2347

  Copy full SHA for 19e2347

• Merge branch '20250127-tla-plus-model' into 20250205-bram

  prozacchiwawa

  committed
  0ddeee9

  Copy full SHA for 0ddeee9

Commits on Feb 11, 2025

• merge up

  prozacchiwawa

  committed
  86b2074

  Copy full SHA for 86b2074

• Merge up

  prozacchiwawa

  committed
  cabd0e7

  Copy full SHA for cabd0e7

Commits on Feb 12, 2025

• Fix

  prozacchiwawa

  committed
  bc55b97

  Copy full SHA for bc55b97

• Merge up

  prozacchiwawa

  committed
  41d6d83

  Copy full SHA for 41d6d83

• Merge branch '20250109-final-todo' into 20250127-tla-plus-model

  prozacchiwawa

  committed
  0881777

  Copy full SHA for 0881777

• Merge branch '20250127-tla-plus-model' into 20250205-bram

  prozacchiwawa

  committed
  cf0a364

  Copy full SHA for cf0a364

• merge up

  prozacchiwawa

  committed
  83dcdae

  Copy full SHA for 83dcdae

• merge up

  prozacchiwawa

  committed
  e01ab98

  Copy full SHA for e01ab98

Commits on Feb 25, 2025

• Merge branch '20250109-final-todo' into 20250127-tla-plus-model

  prozacchiwawa

  committed
  c241c9f

  Copy full SHA for c241c9f

• Merge branch '20250127-tla-plus-model' into 20250205-bram

  prozacchiwawa

  committed
  f073245

  Copy full SHA for f073245

Commits on Mar 8, 2025

• Merge pull request #68 from Chia-Network/20250205-bram

  Show description for fa8bf04
  aqk

  authored
  fa8bf04

  Copy full SHA for fa8bf04