Projet de recherche

Rencontre avec les superviseurs :
Aucune rencontre n'a eu lieu cette semaine.

Amélioration du processus de création de contextes pour les treillis imbriqués :
Il nous a semblé peu pratique de ne pouvoir inclure qu'un seul contexte binaire dans l'éditeur de niveaux pour les treillis imbriqués. Nous avons donc créé un petit outil de construction de niveaux qui prend en considération tous les contextes binaires actifs dans l'applications.

Intégration des fonctionnalités d'importation et d'exportation :
Une nouvelle version de Galicia est maintenant sur le point d'être rendue publique et cette nouvelle version se veut plus flexible que la dernière. Pour cette raison, il a été demandé aux développeurs travaillant actuellement sur Galicia de s'assurer d'inclure les fonctionnalités d'importation et d'exportation propres à la nouvelle version. C'est donc pour cette raison qu'une pause a été faite dans le travail sur le traitement des treillis imbriqués pour se familiarier avec les classes du code source en charge de l'importation et de l'exportation. Encore une fois, la documentation rare du code nous a rendu la tâche assez ardue, mais nous croyons avoir finalement réussi à bien schématiser le tout.