Tags give the ability to mark specific points in history as being important
-
-
V1.4.2
321ad374 · ·Version finale, avec résumé un peu raccourci et traduit. Feu vert pour publication.
-
V1.4
2a54a0a3 · ·Seconde mouture intégralement terminée. Mise à jour du résumé et de la conclusion. Quelques retouches sur le chapitre 4. Introduction d'une indexation séparée des tables d'état.
-
-
-
-
-
-
-
V0.8
c0bbced0 · ·Refonte de la partie résultats du chapitre 6. Celui-ci est écrit dans une première version.
-
-
-
V0.6.2
1a0e6bb8 · ·Nouvelle version du chapitre 5. Ajout d'une section 5.1.3 à partir de ce qui était à la base en section 5.5. Sécoupage de la 5.5 en « Modularité du modèle » (5.5) et « Synthèse » (5.6)
-
V0.6.1
87af2123 · ·Séparation tables/prédicats dans le chapitre 5 déplacement de la définition des prédicats en annexe.
-
-
-
V0.4
04d3df59 · ·Chapitre 2 entièrement terminé: intro, conclusion, et réduction du modèle de Dogma (dernière section). En attente d'écriture de l'intro pour relecture.
-
V0.3
87b8a508 · ·Chapitre 1 entièrement terminé: intro, synthèse et développement. En attente de relecture.
-
-
V0.1
586cb8a7 · ·Chapitre 1 dans sa première version complète. Nécessite l'application de nombreuses remarques faites lors de réunion avec les encadrants et rapportées dans des todos. La section 1.4 est très récente et nécessite d'être relue et affinée. Son introduction est à réécrire.