Begin TLA+ spec for Merge

XMLWordPrintableJSON

    • Type: Task
    • Resolution: Won't Do
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • None
    • Serverless
    • Server Serverless 2021-08-23, Server Serverless 2021-08-30, Server Serverless 2021-09-06, Server Serverless 2021-09-13, Server Serverless 2021-09-20, Server Serverless 2021-09-27, Server Serverless 2021-10-04
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Copy and enhance MultiTenantMigrations.tla to specify the slice merge algorithm. For this ticket, we'll restrict ourselves to the protocol of the Begin Implementing Merge project; we'll add more details to the TLA+ spec as we design them in later Merge projects.

              Assignee:
              [DO NOT USE] Backlog - Server Serverless (Inactive)
              Reporter:
              A. Jesse Jiryu Davis
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

                Created:
                Updated:
                Resolved: