From a44d8f8ebb455394177448fa8dd3e94396885dc0 Mon Sep 17 00:00:00 2001
From: amaury <ajoly@aviatrix.com>
Date: Sun, 7 May 2023 16:08:25 +0200
Subject: [PATCH] refactor
---
.../pr\303\251sentation_consistence_faible/main.tex" | 2 +-
.../wconsistence_properties/convergence_hc.tex" | 0
.../wconsistence_properties/index.tex" | 12 ++++++------
.../linearisation_atomicite_hc.tex" | 0
.../linearisation_regularite_hc.tex" | 0
.../linearisation_surete_hc.tex" | 0
.../wconsistence_properties/localiteetat_hc.tex" | 0
.../wconsistence_properties/validite_hc.tex" | 0
8 files changed, 7 insertions(+), 7 deletions(-)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/convergence_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/convergence_hc.tex" (100%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/index.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/index.tex" (93%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_atomicite_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_atomicite_hc.tex" (100%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_regularite_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_regularite_hc.tex" (100%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_surete_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_surete_hc.tex" (100%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/localiteetat_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/localiteetat_hc.tex" (100%)
rename "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/validite_hc.tex" => "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/validite_hc.tex" (100%)
diff --git "a/docs/pr\303\251sentation_consistence_faible/main.tex" "b/docs/pr\303\251sentation_consistence_faible/main.tex"
index 7c743d1..20d96a8 100644
--- "a/docs/pr\303\251sentation_consistence_faible/main.tex"
+++ "b/docs/pr\303\251sentation_consistence_faible/main.tex"
@@ -47,6 +47,6 @@
% \input{introduction/index.tex}
\section{Les propriétés de la Consistence faibes}
-\input{wconsitence_properties/index.tex}
+\input{wconsistence_properties/index.tex}
\end{document}
\ No newline at end of file
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/convergence_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/convergence_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/convergence_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/convergence_hc.tex"
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/index.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/index.tex"
similarity index 93%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/index.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/index.tex"
index a5ddcbc..f9e12fd 100644
--- "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/index.tex"
+++ "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/index.tex"
@@ -10,7 +10,7 @@
Toute lécture réalisé dans un même environement non-concurrent est identique.
\end{block}
\begin{figure}
- \include{wconsitence_properties/linearisation_surete_hc}
+ \include{wconsistence_properties/linearisation_surete_hc}
\end{figure}
\end{frame}
@@ -20,7 +20,7 @@
Une lécture concurrente à une écriture peut lire soit la valeur avant l'écriture, soit la valeur après l'écriture.
\end{block}
\begin{figure}
- \include{wconsitence_properties/linearisation_regularite_hc}
+ \include{wconsistence_properties/linearisation_regularite_hc}
\end{figure}
\end{frame}
@@ -30,7 +30,7 @@
Une lécture concurrente à une écriture peut lire soit la valeur avant l'écriture, soit la valeur après l'écriture.
\end{block}
\begin{figure}
- \include{wconsitence_properties/linearisation_atomicite_hc}
+ \include{wconsistence_properties/linearisation_atomicite_hc}
\end{figure}
\end{frame}
@@ -39,7 +39,7 @@
\begin{columns}
\column{0.4\textwidth}
- \include{wconsitence_properties/convergence_hc}%
+ \include{wconsistence_properties/convergence_hc}%
\column{0.5\textwidth}
Il existe un ensemble cofini d'évenements dont chacun peut être justifier par la même linéarisation. \\
\begin{math}
@@ -75,7 +75,7 @@
\begin{columns}
\column{0.4\textwidth}
- \include{wconsitence_properties/validite_hc}
+ \include{wconsistence_properties/validite_hc}
\column{0.6\textwidth}
Il existe, un ensemble cofini d'évenement tels que pour chacun d'entre eux une linéarisations de toutes les opérations d'écriture les justifient. \\
\begin{math}
@@ -111,7 +111,7 @@
\begin{columns}
\column{0.4\textwidth}
- \include{wconsitence_properties/localiteetat_hc}
+ \include{wconsistence_properties/localiteetat_hc}
\column{0.6\textwidth}
Pour tout processus $p$, il existe une linéarisation contenant toutes les lectures pures de $p$ rendant l'histoire cohérente. \\
\begin{math}
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_atomicite_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_atomicite_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_atomicite_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_atomicite_hc.tex"
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_regularite_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_regularite_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_regularite_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_regularite_hc.tex"
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_surete_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_surete_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/linearisation_surete_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/linearisation_surete_hc.tex"
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/localiteetat_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/localiteetat_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/localiteetat_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/localiteetat_hc.tex"
diff --git "a/docs/pr\303\251sentation_consistence_faible/wconsistency_properties/validite_hc.tex" "b/docs/pr\303\251sentation_consistence_faible/wconsistence_properties/validite_hc.tex"
similarity index 100%
rename from "docs/pr\303\251sentation_consistence_faible/wconsistency_properties/validite_hc.tex"
rename to "docs/pr\303\251sentation_consistence_faible/wconsistence_properties/validite_hc.tex"
--
GitLab