Added blog post

Renamed MC specs Changed tag to intermediate Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
tlaplus · Nov 24, 2023 · bf9667d · bf9667d
1 parent a8bf6ba
commit bf9667d
Show file tree

Hide file tree

Showing 10 changed files with 437 additions and 18 deletions.
diff --git a/manifest-schema.json b/manifest-schema.json
@@ -20,7 +20,7 @@
           },
           "tags": {
             "type": "array",
-            "items": {"enum": ["beginner"]}
+            "items": {"enum": ["beginner", "intermediate"]}
           },
           "modules": {
             "type": "array",

diff --git a/manifest.json b/manifest.json
@@ -398,7 +398,7 @@
         "Andrew Helwer"
       ],
       "tags": [
-        "beginner"
+        "intermediate"
       ],
       "modules": [
         {
@@ -409,13 +409,13 @@
           "models": []
         },
         {
-          "path": "specifications/FiniteMonotonic/MC_CRDT.tla",
+          "path": "specifications/FiniteMonotonic/Finitize_CRDT.tla",
           "communityDependencies": [],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": [
             {
-              "path": "specifications/FiniteMonotonic/MC_CRDT.cfg",
+              "path": "specifications/FiniteMonotonic/Finitize_CRDT.cfg",
               "runtime": "00:00:05",
               "size": "small",
               "mode": "exhaustive search",
@@ -428,13 +428,13 @@
           ]
         },
         {
-          "path": "specifications/FiniteMonotonic/MC_Constraint_CRDT.tla",
+          "path": "specifications/FiniteMonotonic/Constrain_CRDT.tla",
           "communityDependencies": [],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": [
             {
-              "path": "specifications/FiniteMonotonic/MC_Constraint_CRDT.cfg",
+              "path": "specifications/FiniteMonotonic/Constrain_CRDT.cfg",
               "runtime": "00:00:05",
               "size": "small",
               "mode": "exhaustive search",
@@ -448,13 +448,13 @@
           ]
         },
         {
-          "path": "specifications/FiniteMonotonic/MC_ReplicatedLog.tla",
+          "path": "specifications/FiniteMonotonic/Finitize_ReplicatedLog.tla",
           "communityDependencies": [],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": [
             {
-              "path": "specifications/FiniteMonotonic/MC_ReplicatedLog.cfg",
+              "path": "specifications/FiniteMonotonic/Finitize_ReplicatedLog.cfg",
               "runtime": "00:00:05",
               "size": "small",
               "mode": "exhaustive search",