diff --git a/docs/présentation_consistence_faible/main.tex b/docs/présentation_consistence_faible/main.tex index 7c743d1..20d96a8 100644 --- a/docs/présentation_consistence_faible/main.tex +++ b/docs/présentation_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ésentation_consistence_faible/wconsistency_properties/convergence_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/convergence_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/convergence_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/convergence_hc.tex diff --git a/docs/présentation_consistence_faible/wconsistency_properties/index.tex b/docs/présentation_consistence_faible/wconsistence_properties/index.tex similarity index 93% rename from docs/présentation_consistence_faible/wconsistency_properties/index.tex rename to docs/présentation_consistence_faible/wconsistence_properties/index.tex index a5ddcbc..f9e12fd 100644 --- a/docs/présentation_consistence_faible/wconsistency_properties/index.tex +++ b/docs/présentation_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ésentation_consistence_faible/wconsistency_properties/linearisation_atomicite_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/linearisation_atomicite_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/linearisation_atomicite_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/linearisation_atomicite_hc.tex diff --git a/docs/présentation_consistence_faible/wconsistency_properties/linearisation_regularite_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/linearisation_regularite_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/linearisation_regularite_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/linearisation_regularite_hc.tex diff --git a/docs/présentation_consistence_faible/wconsistency_properties/linearisation_surete_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/linearisation_surete_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/linearisation_surete_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/linearisation_surete_hc.tex diff --git a/docs/présentation_consistence_faible/wconsistency_properties/localiteetat_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/localiteetat_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/localiteetat_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/localiteetat_hc.tex diff --git a/docs/présentation_consistence_faible/wconsistency_properties/validite_hc.tex b/docs/présentation_consistence_faible/wconsistence_properties/validite_hc.tex similarity index 100% rename from docs/présentation_consistence_faible/wconsistency_properties/validite_hc.tex rename to docs/présentation_consistence_faible/wconsistence_properties/validite_hc.tex