Added Pluscal version of the key-value store with snapshot isolation,…

… instantiated clientcentric checking to model check for snapshot isolation properly, added LICENSE for clientcentric module and modified the manifest Signed-off-by: Murat Demirbas <[email protected]>
tlaplus · Aug 5, 2023 · adb3d2a · adb3d2a
1 parent f4f5984
commit adb3d2a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/manifest.json b/manifest.json
@@ -533,7 +533,9 @@
         },
         {
           "path": "specifications/KeyValueStore/Util.tla",
-          "communityDependencies": [],
+          "communityDependencies": [
+            "Functions"
+          ],
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []