7 mars 2008
La version 3.7.1 de l’Atelier B est disponible.
Elle corrige des anomalies mineures de l’atelier B sur le vérificateur de type et l’interface de preuve, et améliore la compatibilité avec l’interface de preuve xemacs EMACSPRI.
La future version 3.7.2 est actuellement en développement et a été annoncée pour début mai 2008… Parmi les évolutions prévues, la 3.7.2 inclura un traducteur : le traducteur ComenC. Il s’agit d’un nouveau traducteur pour le langage B qui permet de traduire des implémentations B0 vers le langage C.