From 0a3fb33f639ee44ed6a870e08099a2b2025f9573 Mon Sep 17 00:00:00 2001
From: Amaury <contact@amauryjoly.fr>
Date: Tue, 11 Jul 2023 14:25:09 +0200
Subject: [PATCH] configuration vscode

---
 .vscode/ltex.dictionary.fr.txt           | 13 +++++++++++++
 .vscode/ltex.hiddenFalsePositives.fr.txt | 10 ++++++++++
 .vscode/settings.json                    | 13 +++++++++++++
 .vscode/spellright.dict                  |  2 ++
 4 files changed, 38 insertions(+)
 create mode 100755 .vscode/ltex.dictionary.fr.txt
 create mode 100755 .vscode/ltex.hiddenFalsePositives.fr.txt
 create mode 100755 .vscode/settings.json
 create mode 100755 .vscode/spellright.dict

diff --git a/.vscode/ltex.dictionary.fr.txt b/.vscode/ltex.dictionary.fr.txt
new file mode 100755
index 0000000..d66af27
--- /dev/null
+++ b/.vscode/ltex.dictionary.fr.txt
@@ -0,0 +1,13 @@
+partitionnable
+Jimmy-3
+Jimmy-5
+cofini
+Serialisabilité
+Broadcast
+FIFO
+décomposabilité
+composabilité
+Composabilité
+Lamport
+Sérialisabilité
+sérialisabilité
diff --git a/.vscode/ltex.hiddenFalsePositives.fr.txt b/.vscode/ltex.hiddenFalsePositives.fr.txt
new file mode 100755
index 0000000..37f1728
--- /dev/null
+++ b/.vscode/ltex.hiddenFalsePositives.fr.txt
@@ -0,0 +1,10 @@
+{"rule":"WHITESPACE_RULE","sentence":"^\\Q0.6  !\\E$"}
+{"rule":"WHITESPACE_RULE","sentence":"^\\QLes classes de cohérence 0.5  !\\E$"}
+{"rule":"FR_SPELLING_RULE","sentence":"^\\QNous pouvons définir 3 classes de cohérence : La Localité d'état (LS) La Validité (V) La Convergence (EC)\\E$"}
+{"rule":"FRENCH_WHITESPACE","sentence":"^\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q:\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q .\\E$"}
+{"rule":"COMMA_PARENTHESIS_WHITESPACE","sentence":"^\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q:\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q\\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q, \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q \\E(?:Dummy|Ina|Jimmy-)[0-9]+\\Q .\\E$"}
+{"rule":"COMMA_PARENTHESIS_WHITESPACE","sentence":"^\\Q.\\E$"}
+{"rule":"FLECHES","sentence":"^\\Qnotions : respect de l'ordre, atomicité, isolation\nIntroduire le concept de cohérence faible\nexemple : application distribuée décentralisée\nDéfinir les propriétés d'un système réparti\nDéfinir les différents modèles de cohérence faible (des plus trivial aux moins)\nCohérence Séquentielle (SC)\nLinéarisabilité -> Serialisabilité\nConvergence/Convergence Forte\nDéfinit le concept de convergence\nPourquoi ?\\E$"}
+{"rule":"FR_SPELLING_RULE","sentence":"^\\QBroadcast (diffusion fiable):\nValidité: tout message reçu est émis par un processus\nUniformité: tout message reçu par un processus est recu par tout les autres processus\nFIFO Broadcast (idem Broadcast):\nRéception FIFO: tout message reçu par un processus est reçu dans l'ordre d'émission\nCausal Broadcast (idem FIFO Broadcast):\nRéception causale: Tout message m' envoyé par un processus après reception d'un message m est aussi reçu après m chez tout les autres processus\\E$"}
+{"rule":"FR_SPELLING_RULE","sentence":"^\\QBroadcast (diffusion fiable) :\nValidité: tout message reçu est émis par un processus\nUniformité: tout message reçu par un processus est recu par tout les autres processus\nFIFO Broadcast (idem Broadcast):\nRéception FIFO: tout message reçu par un processus est reçu dans l'ordre d'émission\nCausal Broadcast (idem FIFO Broadcast):\nRéception causale: Tout message m' envoyé par un processus après reception d'un message m est aussi reçu après m chez tout les autres processus\\E$"}
+{"rule":"FR_SPELLING_RULE","sentence":"^\\QACID: Atomicité (une transaction est soit completement acceptée soit completement avortée), Cohérence (Un transaction éxécutée dans un état correct emmène vers un état correct), Isolation (Les transactions n'interferent pas entre elles), Durabilité (une transaction accepté n'est pas remise en cause).\\E$"}
diff --git a/.vscode/settings.json b/.vscode/settings.json
new file mode 100755
index 0000000..e77d470
--- /dev/null
+++ b/.vscode/settings.json
@@ -0,0 +1,13 @@
+{
+    "spellright.language": [
+        "French",
+        "English"
+    ],
+    "spellright.documentTypes": [
+        "markdown",
+        "latex",
+        "plaintext"
+    ],
+    "ltex.additionalRules.motherTongue": "fr",
+    "ltex.language": "en"
+}
\ No newline at end of file
diff --git a/.vscode/spellright.dict b/.vscode/spellright.dict
new file mode 100755
index 0000000..134aae6
--- /dev/null
+++ b/.vscode/spellright.dict
@@ -0,0 +1,2 @@
+partitionnable
+LS