Code

Finitizing monotonic systems#97

Code

Merged

lemmy merged 10 commits intotlaplus:mastertlaplus/Examples:masterfrom ahelwer:dlog-modelingahelwer/Examples:dlog-modelingCopy head branch name to clipboardDec 1, 2023

+903-90

Commits

Commits on Nov 22, 2023

• Added basic monotonic specs

  Show description for 72d0821
  ahelwer

  committed
  72d0821

  Copy full SHA for 72d0821

• Specs from blog post

  Show description for 72d8aa7
  ahelwer

  committed
  72d8aa7

  Copy full SHA for 72d8aa7

• Constrained model

  Show description for ed314a9
  ahelwer

  committed
  ed314a9

  Copy full SHA for ed314a9

• Added divergence based model

  Show description for 1ad09f4
  ahelwer

  committed
  1ad09f4

  Copy full SHA for 1ad09f4

• CRDT spec finished

  Show description for b8707d1
  ahelwer

  committed
  b8707d1

  Copy full SHA for b8707d1

• Wrote simple replicated log model

  Show description for 1ce64cf
  ahelwer

  committed
  1ce64cf

  Copy full SHA for 1ce64cf

• Experiment with different GC methods

  Show description for 5ac7778
  ahelwer

  committed
  5ac7778

  Copy full SHA for 5ac7778

• Added specs to manifest, added README

  Show description for e1e8edf
  ahelwer

  committed
  e1e8edf

  Copy full SHA for e1e8edf

• Minor change to re-run CI

  Show description for a8bf6ba
  ahelwer

  committed
  a8bf6ba

  Copy full SHA for a8bf6ba

Commits on Nov 24, 2023

• Added blog post

  Show description for bf9667d
  ahelwer

  committed
  bf9667d

  Copy full SHA for bf9667d