diff --git "a/docs/pr\303\251sentation_consistence_faible/main.tex" "b/docs/pr\303\251sentation_consistence_faible/main.tex" index 7c743d1c011cedd3a7fd4d1b230ec32057a50eb1..20d96a8eb93412b1d1bec0127b27f8999a43a9f8 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 a5ddcbcc4ad63ed2a13c70c6dbed4e4744e88117..f9e12fd81da741824aa65f5bc63d6de13c68b713 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"