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 liste des corrections est disponible ici : historique des versions.
La future version 3.7.2 est actuellement en développement et a été annoncée pour mai 2008. Elle incluera 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.
ComenC est issu de la convergence entre les traducteurs industriels, et des travaux de recherches tels que le projet RNTL BOM (B optimisé mémoire).
Par rapport aux traducteurs précédents, ComenC propose une traduction plus simple, permettant d’obtenir un code plus efficace et plus proche du B0 d’origine.