Julien COHEN (d0348acd) at 04 Jul 12:51
Supression de l'ancienne preuve de correction du renommage de varia...
Julien COHEN (46fe692f) at 30 Jun 19:02
[REFACTORING] Uniformisation de noms.
Julien COHEN (05682461) at 30 Jun 15:16
Adaptation du renommage de variables globales pour utiliser le nouv...
... and 3 more commits
Julien COHEN (726f1bac) at 27 Jun 15:43
[PROGRES] Preuve de préservation de comportement dans le cas où le ...
Julien COHEN (52a08bd0) at 20 Jun 15:07
Progrès vers schéma de simulation avec transformation des traces.
... and 3 more commits
Julien COHEN (a19dc9ad) at 17 Jun 12:27
Utilisation des nouveaux résultats de RefactoringCorrectness.v. (Le...
Julien COHEN (c8db35ae) at 15 Jun 13:44
Julien COHEN (1152fa08) at 14 Jun 16:21
Les paires de simulation identifiées dans RefactoringCorectness (Ig...
... and 2 more commits
Julien COHEN (ebbd4dae) at 13 Jun 15:35
... and 1 more commit
Julien COHEN (09983ca3) at 10 Jun 10:52
[REFACTORING] formalisation de la notion de paire de simulations.
... and 1 more commit
Julien COHEN (3a179eb4) at 07 Jun 15:10
Ajout d'une version de fsim_properties sans préservation de l'inter...
Julien COHEN (4eacf913) at 07 Jun 12:22
[CLEAN] Supression de résultats devenus inutiles (on a utilisé le c...
... and 1 more commit
Julien COHEN (0785044f) at 03 Jun 12:06
Utilisation du principe de lockstep-simulation pour prouver la pres...
Julien COHEN (47327937) at 24 May 15:38
Reformulation du résultat de commutativité de step pour mieux colle...
... and 1 more commit
Julien COHEN (d1f27a6e) at 19 May 13:02
Quand on a une paire de lock-step simulations, on a une bisimulatio...
... and 2 more commits
Julien COHEN (704a4ee2) at 17 May 13:47
[DOC]
Julien COHEN (8ab2a106) at 16 May 08:19
Modification d'énoncés pour souligner que c'est la préservation FW ...
Julien COHEN (fe202f36) at 13 May 13:56
Nouveau résultat qui renforce un résultat de préservation de compor...