Version – Atelier B 3.7.1
Date de diffusion : 07/03/2008
Nouvelles Fonctionnalités / Caractéristiques :
Nouvelles Fonctionnalités / Caractéristiques :
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.