Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C Lundi 9 juillet, 15h00 ---------------------- Pierre-Étienne Meunier ---------------------- Inria Paris ======================================================================= Pijul, un système de contrôle de versions distribué basé sur des patchs ======================================================================= Pijul est un système de contrôle de versions distribué basé sur une vraie théorie des patchs. La principale innovation est une structure de données généralisant les fichiers pour tolérer les conflits, tout en permettant de les détecter. Cette structure est complètement transparente pour l'utilisateur, et permet d'appliquer dans tous les cas un patch en temps logarithmique en la taille de l'histoire du dépôt. Dans cet exposé, je présenterai notre structure de données, avec une preuve qu'elle contient tous les pushouts. Je parlerai aussi des défis auxquels nous avons dû faire face, autant sur notre première version en OCaml que sur la version actuelle, démarrée en Rust en 2015.