Contact

Version – Atelier B 3.7.1

 Télécharger l’Atelier B

Date de diffusion : 07/03/2008
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.

Plus d'informations sur "Télécharger l’Atelier B"

Copy link
Powered by Social Snap