search

AllanBlanchard / tutoriel_wp

Frama-C and WP tutorial
Other
49 stars 17 forks source link

Quelques coquilles #16

Closed GaoTamanrasset closed 4 years ago

GaoTamanrasset commented 4 years ago

Bonjour,

Voilà les quelques questions ou remarques sur le document :

  1. https://github.com/AllanBlanchard/tutoriel_wp/blob/ab0b3b7f05c75d216a844ea1778bf7673f662f76/french/statements/function-calls.tex#L66

Est-ce que ce ne devrait pas plutôt être "*a + 1 au label L2" ?

  1. https://github.com/AllanBlanchard/tutoriel_wp/blob/master/french/acsl-properties/lemmas.tex#L154

"au sens que chaque élément soit plus ..."

  1. https://github.com/AllanBlanchard/tutoriel_wp/blob/master/french/acsl-logic-definitions.tex#L12

"ces 3 notions" ou "2 définitions", peut-être.

  1. https://github.com/AllanBlanchard/tutoriel_wp/blob/master/french/proof-methodologies/lemma-functions.tex#L515

Répétition de "la plupart du temps" mais c'est un détail.

J'avais d'autres remarques plus importantes mais je me suis rendu compte qu'elles étaient déjà prises en compte sur git !

AllanBlanchard commented 4 years ago

Est-ce que ce ne devrait pas plutôt être "*a + 1 au label L2" ?

Non, c'est bien *a (qui est égal à \at(*a, L1)+1, mais c'est pas forcément ce que je cherche à illustrer à ce point de l'explication).

Merci pour les typos, c'est corrigé dans la branche de la prochaine version.

GaoTamanrasset commented 4 years ago

Non, c'est bien a (qui est égal à \at(a, L1)+1, mais c'est pas forcément ce que je cherche à illustrer à ce point de l'explication).

Oups, en effet, c'est clair quand on prend le temps de bien lire. :)

AllanBlanchard commented 4 years ago

Tout est corrigé à la fois dans la branche de prochaine version et sur le brouillon ZDS.

Merci :)