Version – Atelier B 3.7.1

La version 3.7.1 corrige certaines anomalies présentes dans la version 3.7.Les corrections apportées sont les suivantes :

• Interface graphique: lors de la sortie de l’interface de preuve, la boite de dialogue demandant si la démonstration devait être sauvée bloquait l’interface.
• Interface EMACSPRI: des problèmes de compatibilité avec la version 3.7 ont été corrigés.
• Prouveur: la commande “search rule” recherche maintenant correctement les règles dans les fichiers .pmm.
• Type checker: Lors du collage de constante abstraites par homonymie, le type-checker levait une erreur, alors que cette construction est autorisée par le langage B.
• Mode trace de règles utilisateur: dans certains cas, l’utilisation du mode trace de règles utilisateur pouvait faire boucler le prouveur
• La machine BASIC_IO du projet LIBRARY ne permettait pas la génération de code.